Author:
Haslum, Patrik (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Title:
Partial State Progression: An Extension to the Bacchus-Kabanza Algorithm, with Applications to Prediction and MITL Consistency
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
In:
Proceedings of the AIPS 2002 workshop on Planning via Model Checking
URI:
urn:nbn:se:liu:diva-59895
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-59895
Available from:
2010-09-29
Statistics:
9 hits