default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd MoChArt@CONCUR/SPIN 2005: San Francisco, CA, USA
- Charles Pecheur, Brian Williams:
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 149(2), Elsevier 2006 - Charles Pecheur, Brian Williams:
Preface. 1-2 - Stefan Edelkamp, Shahid Jabbar:
Action Planning for Directed Model Checking of Petri Nets. 3-18 - Gihwon Kwon:
Relay Reachability Algorithm for Exploring Huge State Space. 19-31 - Kairong Qian, Albert Nymeyer:
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis. 33-49 - Tilman Mehler, Stefan Edelkamp:
Dynamic Incremental Hashing in Program Model Checking. 51-69 - David J. Musliner, Michael J. S. Pelican, Robert P. Goldman:
Incremental Verification for On-the-Fly Controller Synthesis. 71-90 - Sylvain Kerjean, Froduald Kabanza, Richard St-Denis
, Sylvie Thiébaux:
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). 91-104 - Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan:
Model Checking Russian Cards. 105-123 - Paolo Ballarini, Michael Fisher, Michael J. Wooldridge:
Automated Game Analysis via Probabilistic Model Checking: a case study. 125-137 - Dan Lawesson, Ulf Nilsson, Inger Klein:
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. 139-153
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
