LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. De Giacomo, G.; Lespérance, Y.; Patrizi, F.; and Vassos, S. In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pages 369–374, 2014.
Paper doi bibtex @inproceedings{DBLP:conf/ecai/GiacomoLPV14,
author = {Giuseppe {De Giacomo} and
Yves Lesp{\'{e}}rance and
Fabio Patrizi and
Stavros Vassos},
title = {{LTL} Verification of Online Executions with Sensing in Bounded Situation
Calculus},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
pages = {369--374},
year = {2014},
crossref = {DBLP:conf/ecai/2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-369},
doi = {10.3233/978-1-61499-419-0-369},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GiacomoLPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}