Login
- Title:
Reachset Conformance and Automatic Model Adaptation for Hybrid Systems
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Roehm, Hendrik ; Rausch, Alexander ; Althoff, Matthias
- Keywords:
- Article ; conformance ; reachability analysis ; formal verification ; hybrid systems ; automated vehicles ; uncertain systems ; 37M10
- Journal title:
- Mathematics
- Year:
- 2022
- Journal volume:
- 10
- Journal issue:
- 19
- Fulltext / DOI:
- doi:10.3390/math10193567
- Publisher:
- MDPI
- E-ISSN:
- 2227-7390
- Date of publication:
- 29.09.2022
- CC license:
- by, https://creativecommons.org/licenses/by/4.0
BibTeX
Occurrences: