Gricel Vázquez

According to our database, Gricel Vázquez authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components.

Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez

IEEE Trans. Software Eng., June, 2024

Robotics: A New Mission for FRET Requirements.

Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.

Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Calinescu, Sergio García

IEEE Trans. Software Eng., April, 2023

2022

Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems.

Gricel Vázquez, Radu Calinescu, Javier Cámara

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components.

Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez

CoRR, 2022

2021

Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams.

Gricel Vázquez, Radu Calinescu, Javier Cámara

Proceedings of the Towards Autonomous Robotic Systems - 22nd Annual Conference, 2021

Automated Scheduling of Multi-Robot System Missions: An Architectural Perspective (short paper).

Gricel Vázquez

Proceedings of the ECSA 2021 Companion Volume, 2021