Model Checking and Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642004308, 9783642004315
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Survey on Directed Model Checking

2009 ◽  
pp. 65-89 ◽  
Author(s):  
Stefan Edelkamp ◽  
Viktor Schuppan ◽  
Dragan Bošnački ◽  
Anton Wijs ◽  
Ansgar Fehnker ◽  
...  
Keyword(s):  
Model Checking ◽  
Directed Model Checking

Automated Testing of Planning Models

2009 ◽  
pp. 90-105 ◽  
Author(s):  
Klaus Havelund ◽  
Alex Groce ◽  
Gerard Holzmann ◽  
Rajeev Joshi ◽  
Margaret Smith
Keyword(s):  
Automated Testing ◽  
Planning Models

scholarly journals Verifying Robocup Teams

2009 ◽  
pp. 34-48 ◽  
Author(s):  
Clara Benac Earle ◽  
Lars-Åke Fredlund ◽  
José Antonio Iglesias ◽  
Agapito Ledezma

Solving μ-Calculus Parity Games by Symbolic Planning

2009 ◽  
pp. 15-33 ◽  
Author(s):  
Marco Bakera ◽  
Stefan Edelkamp ◽  
Peter Kissmann ◽  
Clemens D. Renner
Keyword(s):  
Parity Games ◽  
Symbolic Planning

Model Checking Strategic Equilibria

2009 ◽  
pp. 166-188 ◽  
Author(s):  
Nicolas Troquard ◽  
Wiebe van der Hoek ◽  
Michael Wooldridge
Keyword(s):  
Model Checking ◽  
Strategic Equilibria
Load More ...
Sign in / Sign up

Export Citation Format

Share Document