Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Planning via model checking in determistic domains: Preliminary report

Planning via model checking in determistic domains: Preliminary report

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 1480/1998
BookArtificial Intelligence: Methodology, Systems, and Applications
DOI10.1007/BFb0057429
Copyright1998
ISBN978-3-540-64993-9
DOI10.1007/BFb0057447
Pages221-229
Subject CollectionComputer Science
SpringerLink DateTuesday, August 01, 2006
Add to marked items

Planning via model checking in determistic domains: Preliminary report

Mauro Di Manzo1 Contact Information, Enrico Giunchiglia1 Contact Information and Simone Ruffino1 Contact Information

(1)  DIST, Universitá di Genova, Viale Causa 13, 16145 Genova, Italia
Abstract
In this paper we report on SMV and NuSmv performances on a set of “model checking problems” variously generated starting from deterministic domain descriptions. The comparison with other state-of-the-art planning systems reveals that “planning via model checking” is a promising research line.

Keywords  Planning & Temporal reasoning

Contact Information Mauro Di Manzo
Email: mauro@mrg.dist.unige.it

Contact Information Enrico Giunchiglia
Email: enrico@mrg.dist.unige.it

Contact Information Simone Ruffino
Email: simone@mrg.dist.unige.it
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.106 • Server: MPWEB25
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)