- Titel:
Reachset Conformance and Automatic Model Adaptation for Hybrid Systems
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Roehm, Hendrik ; Rausch, Alexander ; Althoff, Matthias
- Stichworte:
- Article ; conformance ; reachability analysis ; formal verification ; hybrid systems ; automated vehicles ; uncertain systems ; 37M10
- Zeitschriftentitel:
- Mathematics
- Jahr:
- 2022
- Band / Volume:
- 10
- Heft / Issue:
- 19
- Volltext / DOI:
- doi:10.3390/math10193567
- Verlag / Institution:
- MDPI
- E-ISSN:
- 2227-7390
- Publikationsdatum:
- 29.09.2022
- CC-Lizenz:
- by, https://creativecommons.org/licenses/by/4.0
BibTeX
Login
