|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Charles Pecheur, Brian Williams (eds.) |
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005 |
MoChArt@CONCUR/SPIN |
2006 |
DBLP BibTeX RDF |
|
1 | Gihwon Kwon |
Relay Reachability Algorithm for Exploring Huge State Space. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ballarini, Michael Fisher 0001, Michael J. Wooldridge |
Automated Game Analysis via Probabilistic Model Checking: a case study. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Edelkamp, Shahid Jabbar |
Action Planning for Directed Model Checking of Petri Nets. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Charles Pecheur, Brian Williams |
Preface. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan |
Model Checking Russian Cards. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | David J. Musliner, Michael J. S. Pelican, Robert P. Goldman |
Incremental Verification for On-the-Fly Controller Synthesis. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tilman Mehler, Stefan Edelkamp |
Dynamic Incremental Hashing in Program Model Checking. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kairong Qian, Albert Nymeyer |
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dan Lawesson, Ulf Nilsson, Inger Klein |
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Kerjean, Froduald Kabanza, Richard St-Denis, Sylvie Thiébaux |
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). |
MoChArt@CONCUR/SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|