@InProceedings{LWAB10,
author={M. Lahijanian and J. Wasniewski and S. B. Andersson and C. Belta},
title={Motion Planning and Control from Temporal Logic Specifications with Probabilistic Satisfaction Guarantees},
booktitle={Proc. 2010 IEEE International Conference on Robotics and Automation},
year={2010},

editor={},
pages={3227--3232},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}