Gricel Vázquez

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

Collaborative distances:

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

2025

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach.

Nawshin Mannan Proma, Gricel Vázquez, Sepeedeh Shahbeigi, Arjun Badyal, Victoria J. Hodge

CoRR, July, 2025

Efficient Strategy Synthesis for MDPs via Hierarchical Block Decomposition.

Alexandros Evangelidis, Gricel Vázquez, Simos Gerasimou

CoRR, June, 2025

Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing.

Yasmin Rafiq, Gricel Vázquez, Radu Calinescu, Sanja Dogramadzi, Robert M. Hierons

CoRR, April, 2025

Verification and External Parameter Inference for Stochastic World Models.

Radu Calinescu, Sinem Getir Yaman, Simos Gerasimou, Gricel Vázquez, Micah Bassett

CoRR, March, 2025

Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning.

Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Simos Gerasimou

Proceedings of the 20th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2025

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