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
Electronic Edition (link) BibTeX
- Stefan Edelkamp, Shahid Jabbar:
Action Planning for Directed Model Checking of Petri Nets.
3-18
Electronic Edition (link) BibTeX
- Gihwon Kwon:
Relay Reachability Algorithm for Exploring Huge State Space.
19-31
Electronic Edition (link) BibTeX
- Kairong Qian, Albert Nymeyer:
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis.
33-49
Electronic Edition (link) BibTeX
- Tilman Mehler, Stefan Edelkamp:
Dynamic Incremental Hashing in Program Model Checking.
51-69
Electronic Edition (link) BibTeX
- David J. Musliner, Michael J. S. Pelican, Robert P. Goldman:
Incremental Verification for On-the-Fly Controller Synthesis.
71-90
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan:
Model Checking Russian Cards.
105-123
Electronic Edition (link) BibTeX
- Paolo Ballarini, Michael Fisher, Michael Wooldridge:
Automated Game Analysis via Probabilistic Model Checking: a case study.
125-137
Electronic Edition (link) BibTeX
- Dan Lawesson, Ulf Nilsson, Inger Klein:
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems.
139-153
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:21 2009
by Michael Ley (ley@uni-trier.de)
