Statistics
Publications
1
Citations
93
H-Index
1
Active since
2014
Affiliations
Boston University(Current)
Ana Medina Ayala is an author at Boston University specializing in automated reasoning, formal verification, and knowledge discovery.
Publications per year
2014–2014
1
1
Temporal logic inference for classification and prediction from data
Zhaodan Kong, Austin Jones, Ana Medina Ayala et al. · 2014 · 93 citations · Full text
1–1 of 1