LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. Giacomo, G. D., Lespérance, Y., Patrizi, F., & Vassos, S. In Schaub, T., Friedrich, G., & O'Sullivan, B., 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, 2014. IOS Press.
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},
  editor    = {Torsten Schaub and
               Gerhard Friedrich and
               Barry O'Sullivan},
  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)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {263},
  pages     = {369--374},
  publisher = {{IOS} Press},
  year      = {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