Publications

Sort by: Author Type Year
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

M

Meng, Y., Y. Li, and J. Liu, "Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model", American Control Conference (ACC), 2021.
Montana, F. J., J. Liu, and T. J. Dodd, "Sampling-based stochastic optimal control with metric interval temporal logic specifications", IEEE Multi-Conference on Systems and Control (MSC), 2016. PDF icon PDF (283.39 KB)
Montana, F. J., J. Liu, and T. J. Dodd, "Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications", Critical Systems: Formal Methods and Automated Verification, vol. 10471: Springer, pp. 150–164, 2017.
Montana, F. J., J. Liu, and T. J. Dodd, "Sampling-based reactive motion planning with temporal logic constraints and imperfect state information", Critical Systems: Formal Methods and Automated Verification, vol. 10471: Springer, pp. 134–149, 2017.

Publications search