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.
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
{"_id":"7CjHiuSpbN8HtGC6d","bibbaseid":"giacomo-lesprance-patrizi-vassos-ltlverificationofonlineexecutionswithsensinginboundedsituationcalculus-2014","author_short":["Giacomo, G. D.","Lespérance, Y.","Patrizi, F.","Vassos, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Yves"],"propositions":[],"lastnames":["Lespérance"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]},{"firstnames":["Stavros"],"propositions":[],"lastnames":["Vassos"],"suffixes":[]}],"editor":[{"firstnames":["Torsten"],"propositions":[],"lastnames":["Schaub"],"suffixes":[]},{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Friedrich"],"suffixes":[]},{"firstnames":["Barry"],"propositions":[],"lastnames":["O'Sullivan"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/ecai/GiacomoLPV14,\n author = {Giuseppe De Giacomo and\n Yves Lesp{\\'{e}}rance and\n Fabio Patrizi and\n Stavros Vassos},\n editor = {Torsten Schaub and\n Gerhard Friedrich and\n Barry O'Sullivan},\n title = {{LTL} Verification of Online Executions with Sensing in Bounded Situation\n Calculus},\n booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,\n 18-22 August 2014, Prague, Czech Republic - Including Prestigious\n Applications of Intelligent Systems {(PAIS} 2014)},\n series = {Frontiers in Artificial Intelligence and Applications},\n volume = {263},\n pages = {369--374},\n publisher = {{IOS} Press},\n year = {2014},\n url = {https://doi.org/10.3233/978-1-61499-419-0-369},\n doi = {10.3233/978-1-61499-419-0-369},\n timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ecai/GiacomoLPV14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giacomo, G. D.","Lespérance, Y.","Patrizi, F.","Vassos, S."],"editor_short":["Schaub, T.","Friedrich, G.","O'Sullivan, B."],"key":"DBLP:conf/ecai/GiacomoLPV14","id":"DBLP:conf/ecai/GiacomoLPV14","bibbaseid":"giacomo-lesprance-patrizi-vassos-ltlverificationofonlineexecutionswithsensinginboundedsituationcalculus-2014","role":"author","urls":{"Paper":"https://doi.org/10.3233/978-1-61499-419-0-369"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","dataSources":["nYZATui8QfoZTWDxh"],"keywords":[],"search_terms":["ltl","verification","online","executions","sensing","bounded","situation","calculus","giacomo","lespérance","patrizi","vassos"],"title":"LTL Verification of Online Executions with Sensing in Bounded Situation Calculus","year":2014}