Reachset Conformance Testing of Hybrid Automata
Work
Year: 2016
Type: article
Abstract: Industrial-sized hybrid systems are typically not amenable to formal verification techniques. For this reason, a common approach is to formally verify abstractions of (parts of) the original system. H... more
Institutions Robert Bosch (Germany), Technical University of Munich
Cites: 26
Cited by: 41
Related to: 10
FWCI: 3.932
Citation percentile (by year/subfield): 95.47
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green