An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
Authors:
- 27 August 2017
- book chapter
- Published by Springer Nature
- p. 3-17
Abstract
No abstract availableKeywords
All Related Versions
This publication has 15 references indexed in Scilit:
- Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression2016
- Stochastic Local Search for Falsification of Hybrid Systems2015
- Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems2015
- Powertrain control verification benchmark2014
- Verification of automotive control applications using S-TaLiRo2012
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems2011
- Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems2010
- Robust Satisfaction of Temporal Logic over Real-Valued Signals2010
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Prom timed to hybrid systems1992