Stochastic Local Search for Falsification of Hybrid Systems
- 22 November 2015
- book chapter
- Published by Springer Nature
- p. 500-517
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems2015
- Powertrain control verification benchmark2014
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems2011
- Linear Hybrid System Falsification through Local SearchLecture Notes in Computer Science, 2011
- Ant colonies for Temporal Logic falsification of hybrid systems2010
- Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems2010
- Robust Satisfaction of Temporal Logic over Real-Valued Signals2010
- Robustness of temporal logic specifications for continuous-time signalsTheoretical Computer Science, 2009
- A unified tabu search heuristic for vehicle routing problems with time windowsJournal of the Operational Research Society, 2001
- What's decidable about hybrid automata?1995