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.
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus [link]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}
}
Downloads: 0