Broadband Dielectric Measurements on Highly Scattering Materials. - Zijing Li; A. Sharma; Ana I. Medina Ayala; Mohammed N. Afsar; Konstantin A. Korolev (IEEE Trans. Instrum. Meas., 2010)

Temporal logic control in dynamic environments with probabilistic satisfaction guarantees. - Ana I. Medina Ayala; Sean B. Andersson; Calin Belta (IROS, 2011)

Probabilistic control from time-bounded temporal logic specifications in dynamic environments. - Ana I. Medina Ayala; Sean B. Andersson; Calin Belta (ICRA, 2012)

Temporal logic motion planning in unknown environments. - Ana I. Medina Ayala; Sean B. Andersson; Calin Belta (IROS, 2013)

Temporal logic inference for classification and prediction from data. - Zhaodan Kong; Austin Jones; Ana Medina Ayala; Ebru Aydin Gol; Calin Belta (HSCC, 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)