Temporal logic control of POMDPs via label-based stochastic simulation relations. Haesaert, S., Nilsson, P., Vasile, C. I., Thakker, R., Agha-mohammadi, A., Ames, A. D, & Murray, R. M In IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), volume 51, pages 271–276, 2018. Elsevier.
![Temporal logic control of POMDPs via label-based stochastic simulation relations [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @inproceedings{haesaert2018temporal,
title={Temporal logic control of POMDPs via label-based stochastic simulation relations},
author={Haesaert, Sofie and Nilsson, Petter and Vasile, Cristian Ioan and Thakker, Rohan and Agha-mohammadi, Ali-akbar and Ames, Aaron D and Murray, Richard M},
booktitle ={IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)},
volume={51},
number={16},
pages={271--276},
year={2018},
publisher={Elsevier},
url = {http://ames.caltech.edu/hetal_adhs18.pdf},
}Downloads: 0
{"_id":"QtePJ7WuDx5iaPkwY","bibbaseid":"haesaert-nilsson-vasile-thakker-aghamohammadi-ames-murray-temporallogiccontrolofpomdpsvialabelbasedstochasticsimulationrelations-2018","downloads":0,"creationDate":"2018-05-17T18:25:53.026Z","title":"Temporal logic control of POMDPs via label-based stochastic simulation relations","author_short":["Haesaert, S.","Nilsson, P.","Vasile, C. I.","Thakker, R.","Agha-mohammadi, A.","Ames, A. D","Murray, R. M"],"year":2018,"bibtype":"inproceedings","biburl":"http://ames.caltech.edu/ames_ref_temp.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Temporal logic control of POMDPs via label-based stochastic simulation relations","author":[{"propositions":[],"lastnames":["Haesaert"],"firstnames":["Sofie"],"suffixes":[]},{"propositions":[],"lastnames":["Nilsson"],"firstnames":["Petter"],"suffixes":[]},{"propositions":[],"lastnames":["Vasile"],"firstnames":["Cristian","Ioan"],"suffixes":[]},{"propositions":[],"lastnames":["Thakker"],"firstnames":["Rohan"],"suffixes":[]},{"propositions":[],"lastnames":["Agha-mohammadi"],"firstnames":["Ali-akbar"],"suffixes":[]},{"propositions":[],"lastnames":["Ames"],"firstnames":["Aaron","D"],"suffixes":[]},{"propositions":[],"lastnames":["Murray"],"firstnames":["Richard","M"],"suffixes":[]}],"booktitle":"IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)","volume":"51","number":"16","pages":"271–276","year":"2018","publisher":"Elsevier","url":"http://ames.caltech.edu/hetal_adhs18.pdf","bibtex":"@inproceedings{haesaert2018temporal,\n title={Temporal logic control of POMDPs via label-based stochastic simulation relations},\n author={Haesaert, Sofie and Nilsson, Petter and Vasile, Cristian Ioan and Thakker, Rohan and Agha-mohammadi, Ali-akbar and Ames, Aaron D and Murray, Richard M},\n booktitle ={IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)},\n volume={51},\n number={16},\n pages={271--276},\n year={2018},\n publisher={Elsevier},\n url = {http://ames.caltech.edu/hetal_adhs18.pdf},\n}\n\n","author_short":["Haesaert, S.","Nilsson, P.","Vasile, C. I.","Thakker, R.","Agha-mohammadi, A.","Ames, A. D","Murray, R. M"],"key":"haesaert2018temporal","id":"haesaert2018temporal","bibbaseid":"haesaert-nilsson-vasile-thakker-aghamohammadi-ames-murray-temporallogiccontrolofpomdpsvialabelbasedstochasticsimulationrelations-2018","role":"author","urls":{"Paper":"http://ames.caltech.edu/hetal_adhs18.pdf"},"metadata":{"authorlinks":{"ames, a":"http://www.bipedalrobotics.com/publications.html"}},"downloads":0,"html":""},"search_terms":["temporal","logic","control","pomdps","via","label","based","stochastic","simulation","relations","haesaert","nilsson","vasile","thakker","agha-mohammadi","ames","murray"],"keywords":[],"authorIDs":["gC2M76ZuLyN4DfgC5"],"dataSources":["c5Y5KxspQmgaqHb44","wfTjQp7BbyyzhMumG","JyoDgr7qvkjGYcFft","aeHt7AWKsAw9iiQqD","qAk5kJqscSPPSguqo"]}