Publications

Export 37 results:
Author [ Keyword(Desc)] Title Type Year
Filters: First Letter Of Last Name is L  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
formal methods in robotics and automation
M. Lahijanian, Svorenova, M., Morye, A. A., Yeomans, B., Rao, D., Posner, I., Newman, P., Kress-Gazit, H., and Kwiatkowska, M., Resource-Performance Tradeoff Analysis for Mobile Robots, IEEE Robotics and Automation Letters, vol. 3, pp. 1840-1847, 2018.
formal synthesis
M. R. Maly, Lahijanian, M., Kavraki, L. E., Kress-Gazit, H., and Vardi, M. Y., Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments, in Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, 2013.
motion planning
M. R. Maly, Lahijanian, M., Kavraki, L. E., Kress-Gazit, H., and Vardi, M. Y., Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments, in Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, 2013.
quantitative multiobjective verification technique
M. Lahijanian, Svorenova, M., Morye, A. A., Yeomans, B., Rao, D., Posner, I., Newman, P., Kress-Gazit, H., and Kwiatkowska, M., Resource-Performance Tradeoff Analysis for Mobile Robots, IEEE Robotics and Automation Letters, vol. 3, pp. 1840-1847, 2018.

Pages