Falsification of hybrid systems using symbolic reachability and trajectory splicing
Work
Year: 2019
Type: preprint
Institutions Australian National University, École Nationale Supérieure de Techniques Avancées, Martin Luther Christian University, Max Planck Institute for Intelligent Systems, National Institute of Technology Meghalaya
Cites: 34
Cited by: 13
Related to: 10
Citation percentile (by year/subfield): 97.55
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed