Publications
1007/978-3-031-98685-7_7 Preprint 2024 Tree-Based Scenario Classification Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar In: NASA Formal Methods (NFM 2024) DOI: https://doi.org/10.1007/978-3-031 [...] Technical Programm of the International Conference on Operations Research (GOR 2023) DOI: 10.1007/978-3-031-58405-3_39 Preprint Learning Symbolic Timed Models from Concrete Timed Data Simon Dierl, Falk Maria Howar [...] 1007/978-3-030-85672-4_21 Preprint A Taxonomy and Reductions for Common Register Automata Formalisms Simon Dierl, Falk Howar In: Model Checking, Synthesis, and Learning DOI: https://doi.org/10.1007/978-3-03 …
