A. I. Medina Ayala

According to our database, A. I. Medina Ayala authored at least 5 papers between 2011 and 2014.

Collaborative distances:

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

2014

Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications.

Ana Medina Ayala, Sean B. Andersson, Calin Belta

IEEE Trans. Autom. Control., 2014

Temporal logic inference for classification and prediction from data.

Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

2013

Temporal logic motion planning in unknown environments.

A. I. Medina Ayala, Sean B. Andersson, Calin Belta

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

2012

Probabilistic control from time-bounded temporal logic specifications in dynamic environments.

A. I. Medina Ayala, Sean B. Andersson, Calin Belta

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

2011

Temporal logic control in dynamic environments with probabilistic satisfaction guarantees.

A. I. Medina Ayala, Sean B. Andersson, Calin Belta

Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011