Volume 149,
Number 1,
February 2006
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY 2005)
Volume 149,
Number 2,
February 2006
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence (MoChArt 2005)
- 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 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
Last update Sat May 26 06:15:18 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
