Gricel Vázquez

16 papers B 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning.
SEAMS@ICSE
Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Simos Gerasimou
2025 J jnl
Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning.
CoRR
Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Simos Gerasimou
2025 J jnl
Automated Formalization of Probabilistic Requirements from Structured Natural Language.
CoRR
Anastasia Mavridou, Marie Farrell, Gricel Vázquez, Thomas Pressburger, Timothy E. Wang, Radu Calinescu, Michael Fisher
2025 J jnl
Efficient Strategy Synthesis for MDPs via Hierarchical Block Decomposition.
CoRR
Alexandros Evangelidis, Gricel Vázquez, Simos Gerasimou
2025 — conf
Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach.
ICVES
Nawshin Mannan Proma, Gricel Vázquez, Sepeedeh Shahbeigi, Arjun Badyal, Victoria J. Hodge
2025 J jnl
Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach.
CoRR
Nawshin Mannan Proma, Gricel Vázquez, Sepeedeh Shahbeigi, Arjun Badyal, Victoria J. Hodge
2025 B conf
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing.
SEAA
Yasmin Rafiq, Gricel Vázquez, Radu Calinescu, Sanja Dogramadzi, Robert M. Hierons
2025 J jnl
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing.
CoRR
Yasmin Rafiq, Gricel Vázquez, Radu Calinescu, Sanja Dogramadzi, Robert M. Hierons
2025 J jnl
Verification and External Parameter Inference for Stochastic World Models.
CoRR
Radu Calinescu, Sinem Getir Yaman, Simos Gerasimou, Gricel Vázquez, Micah Bassett
2024 J jnl
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components.
IEEE Trans. Software Eng.
Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
2024 — conf
Robotics: A New Mission for FRET Requirements.
NFM
Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu
2023 J jnl
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.
IEEE Trans. Software Eng.
Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Calinescu, Sergio García
2022 J jnl
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components.
CoRR
Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
2022 — conf
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems.
FMAS/ASYDE@SEFM
Gricel Vázquez, Radu Calinescu, Javier Cámara
2021 — conf
Automated Scheduling of Multi-Robot System Missions: An Architectural Perspective (short paper).
ECSA (Companion)
Gricel Vázquez
2021 — conf
Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams.
TAROS
Gricel Vázquez, Radu Calinescu, Javier Cámara