Misael Alpizar Santana

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 4

Top Topics

Evolutionary Algorithm

Controller Synthesis

Design Space Exploration

Top Venues

Softw. Syst. Model.

Publications

James Harbin, Simos Gerasimou, Nicholas Drivalos Matragkas, Thanos Zolotas, Radu Calinescu, Misael Alpizar Santana
Model-driven design space exploration for multi-robot systems in simulation. Softw. Syst. Model. 22 (5) (2023)
Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. CoRR (2022)
Misael Alpizar Santana, Radu Calinescu, Colin Paterson
Risk-aware Real-time Object Detection. EDCC (2022)
Misael Alpizar Santana, Radu Calinescu, Colin Paterson
Mitigating Risk in Neural Network Classifiers. SEAA (2022)