Publications

Export 2 results:
Author Keyword Title [ Type(Desc)] Year
Filters: Author is Lahijanian, Morteza  [Clear All Filters]
Journal Article
M. Lahijanian, Maly, M. R., Fried, D., Kavraki, L. E., Kress-Gazit, H., and Vardi, M., “Iterative Temporal Planning in Uncertain Environments with Partial Satisfaction Guarantees”, IEEE Transactions on Robotics, vol. 32, pp. 583-599, 2016.
H. Kress-Gazit, Lahijanian, M., and Raman, V., “Synthesis for Robots: Guarantees and Feedback for Robot Behavior”, Annual Review of Control, Robotics, and Autonomous Systems, vol. 1, pp. 211-236, 2018.