Ana Medina Ayala

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Continuous Time Bayesian Networks

Stochastic Process

Top Venues

IEEE Trans. Autom. Control.

Publications

Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta
Temporal logic inference for classification and prediction from data. HSCC (2014)
Ana Medina Ayala, Sean B. Andersson, Calin Belta
Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications. IEEE Trans. Autom. Control. 59 (9) (2014)