Deep Random Search for Efficient Model Checking of Timed Automata.

Radu Grosu Xiaowan Huang Scott A. Smolka Wenkai Tan Stavros Tripakis Deep Random Search for Efficient Model Checking of Timed Automata. 111-124 2006 conf/monterey/2006 Monterey Workshop http://dx.doi.org/10.1007/978-3-540-77419-8_7 db/conf/monterey/monterey2006.html#GrosuHSTT06