Journal Article Adaptive Model Checking Get access Alex Groce, Alex Groce Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA. Search for other works by this author on: Oxford Academic Google Scholar Doron Peled, Doron Peled Department of Computer Science, Bar-Ilan University, Ramat Gan 52900, Israel. Search for other works by this author on: Oxford Academic Google Scholar Mihalis Yannakakis Mihalis Yannakakis Department of Computer Science, Columbia University, 455 Computer Science Building, 1214 Amsterdam Ave., New York, NY 10027, USA. Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 14, Issue 5, October 2006, Pages 729–744, https://doi.org/10.1093/jigpal/jzl007 Published: 01 October 2006 Article history Received: 19 January 2005 Published: 01 October 2006
No takes yet. Share an insight, caveat, or question.
Groce et al. (2006) studied this question.