@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}
}

{"_id":"2nmpzr6DybH3aEwxb","bibbaseid":"degiacomo-lesprance-patrizi-vassos-ltlverificationofonlineexecutionswithsensinginboundedsituationcalculus-2014","authorIDs":[],"author_short":["De Giacomo, G.","Lespérance, Y.","Patrizi, F.","Vassos, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]},{"firstnames":["Yves"],"propositions":[],"lastnames":["Lespérance"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]},{"firstnames":["Stavros"],"propositions":[],"lastnames":["Vassos"],"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)","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","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 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 pages = {369--374},\n year = {2014},\n crossref = {DBLP:conf/ecai/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":["De Giacomo, G.","Lespérance, Y.","Patrizi, F.","Vassos, S."],"key":"DBLP:conf/ecai/GiacomoLPV14","id":"DBLP:conf/ecai/GiacomoLPV14","bibbaseid":"degiacomo-lesprance-patrizi-vassos-ltlverificationofonlineexecutionswithsensinginboundedsituationcalculus-2014","role":"author","urls":{"Paper":"https://doi.org/10.3233/978-1-61499-419-0-369"},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","creationDate":"2020-03-01T13:35:45.375Z","downloads":0,"keywords":[],"search_terms":["ltl","verification","online","executions","sensing","bounded","situation","calculus","de giacomo","lespérance","patrizi","vassos"],"title":"LTL Verification of Online Executions with Sensing in Bounded Situation Calculus","year":2014,"dataSources":["a7J9cXfn5aGm5Rka2"]}