Publications in ai-romatre-pubs.bib - Year: 1998
1998
[2] Using linear temporal logic to model and solve planning problems ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1480 LNAI, . [bibtex] [url]
[1] Bounded model search in linear temporal logic and its application to planning ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1397 LNAI, . [bibtex] [url]
Powered by bibtexbrowser