Stochastic Local Search for Falsification of Hybrid Systems.

Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler

Browse the full ATVA paper archive.