User: Guest  Login
If you experience problems opening the document, please try this link.
Document type:
Zeitschriftenaufsatz
Author(s):
Roehm, Hendrik ; Rausch, Alexander ; Althoff, Matthias
Title:
Reachset Conformance and Automatic Model Adaptation for Hybrid Systems
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