Felipe J. Montana

According to our database, Felipe J. Montana authored at least 3 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications.

Felipe J. Montana, Jun Liu, Tony J. Dodd

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information.

Felipe J. Montana, Jun Liu, Tony J. Dodd

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

Sampling-based stochastic optimal control with metric interval temporal logic specifications.

Felipe J. Montana, Jun Liu, Tony J. Dodd

Proceedings of the 2016 IEEE Conference on Control Applications, 2016