Articles with public access mandates - Edi MuškardinLearn more
Available somewhere: 2
Automata learning meets shielding
M Tappler, S Pranger, B Könighofer, E Muškardin, R Bloem, K Larsen
International Symposium on Leveraging Applications of Formal Methods, 335-359, 2022
Mandates: European Commission
Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins
S Hallé, C Soueidi, Y Falcone, E Kamburjan, V Klungre, SL Tapia Tarifa, ...
Research report http://urn. nb. no/URN: NBN: no-35645, 2023
Mandates: Helmholtz Association, Research Council of Norway
Publication and funding information is determined automatically by a computer program