%0 Journal Article %1 Lahijanian2012 %A Lahijanian, Morteza %A Andersson, Sean B. %A Belta, Calin %D 2012 %J IEEE Transactions on Robotics %K mdp, probabilistic, temporal %N 2 %P 396--409 %R 10.1109/tro.2011.2172150 %T Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees %U http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6085615 %V 28

@article{Lahijanian2012, added-at = {2020-05-24T20:36:48.000+0200}, author = {Lahijanian, Morteza and Andersson, Sean B. and Belta, Calin}, biburl = {https://www.bibsonomy.org/bibtex/2e985fd4ae2adc59eca52cf6310e12ebe/marcondg}, comment = {Fully observable. Focus on motion planning. Temporal logic to constrain the goal state space. ---=note-separator=--- Fully observable. Focus on motion planning. Temporal logic to constrain the goal state space.}, doi = {10.1109/tro.2011.2172150}, interhash = {977011ba74595bab11e1c0292b2427a3}, intrahash = {e985fd4ae2adc59eca52cf6310e12ebe}, issn = {1552-3098}, journal = {IEEE Transactions on Robotics}, keywords = {mdp, probabilistic, temporal}, month = apr, number = 2, pages = {396--409}, timestamp = {2020-05-24T20:36:48.000+0200}, title = {{Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees}}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6085615}, volume = 28, year = 2012 }