The following publications are possibly variants of this publication:
- Falsification of temporal properties of hybrid systems using the cross-entropy methodSriram Sankaranarayanan, Georgios E. Fainekos. hybrid 2012: 125-134 [doi]
- Falsification of hybrid systems using symbolic reachability and trajectory splicingSergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray 0001. hybrid 2019: 1-10 [doi]
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systemsTruong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas. hybrid 2010: 211-220 [doi]
- Falsification of safety properties for closed loop control systemsAditya Zutshi 0001, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin. hybrid 2015: 299-300 [doi]