20 citations · 50 across the 12 of their papers we have counts for
3 papers · 1 filter
Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input
Gidon Ernst, Sean Sedwards, Zhenya Zhang +1
We present an algorithm that quickly finds falsifying inputs for hybrid systems, i.e., inputs that steer the system towards violation of a given temporal logic requirement. Our met…
Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search
Zhenya Zhang, Gidon Ernst, Sean Sedwards +2
Few real-world hybrid systems are amenable to formal verification, due to their complexity and black box components. Optimization-based falsification---a methodology of search-base…
Time-Staging Enhancement of Hybrid System Falsification
Gidon Ernst, Ichiro Hasuo, Zhenya Zhang +1
Optimization-based falsification employs stochastic optimization algorithms to search for error input of hybrid systems. In this paper we introduce a simple idea to enhance falsifi…