Search Results - "Santana, Misael Alpizar"

Model-driven design space exploration for multi-robot systems in simulation by Harbin, James, Gerasimou, Simos, Matragkas, Nicholas, Zolotas, Thanos, Calinescu, Radu, Alpizar Santana, Misael

“…Multi-robot systems are increasingly deployed to provide services and accomplish missions whose complexity or cost is too high for a single robot to achieve on…”
Get full text

Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components by Calinescu, Radu, Imrie, Calum, Mangal, Ravi, Rodrigues, Genaina Nunes, Pasareanu, Corina, Santana, Misael Alpizar, Vazquez, Gricel

“…We present DeepDECS, a new method for the synthesis of correct-by-construction software controllers for autonomous systems that use deep neural network (DNN)…”
Get full text

Risk-aware Real-time Object Detection by Santana, Misael Alpizar, Calinescu, Radu, Paterson, Colin

“…Autonomous systems such as self-driving cars and infrastructure inspection robots must be able to mitigate risk by dependably detecting entities that represent…”
Get full text

Mitigating Risk in Neural Network Classifiers by Santana, Misael Alpizar, Calinescu, Radu, Paterson, Colin

“…Deep Neural Network (DNN) classifiers perform remarkably well on many problems that require skills which are natural and intuitive to humans. These classifiers…”
Get full text

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components by Calinescu, Radu, Imrie, Calum, Mangal, Ravi, Rodrigues, Genaína Nunes, Păsăreanu, Corina, Santana, Misael Alpizar, Vázquez, Gricel

“…We present DeepDECS, a new method for the synthesis of correct-by-construction discrete-event controllers for autonomous systems that use deep neural network…”
Get full text