Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos. LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. In Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan, editors, ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014). Volume 263 of Frontiers in Artificial Intelligence and Applications, pages 369-374, IOS Press, 2014. [doi]
@inproceedings{GiacomoLPV14,
title = {LTL Verification of Online Executions with Sensing in Bounded Situation Calculus},
author = {Giuseppe De Giacomo and Yves Lespérance and Fabio Patrizi and Stavros Vassos},
year = {2014},
doi = {10.3233/978-1-61499-419-0-369},
url = {http://dx.doi.org/10.3233/978-1-61499-419-0-369},
researchr = {https://researchr.org/publication/GiacomoLPV14},
cites = {0},
citedby = {0},
pages = {369-374},
booktitle = {ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)},
editor = {Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan},
volume = {263},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-61499-419-0},
}