Gricel Vzquez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models. | Radu Calinescu, Micah Bassett, Brendan Devlin-Hill, Simos Gerasimou, Sinem Getir Yaman, Kavan Fatehi, Gricel Vzquez |
| 2026 | SEAMS | Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs. | Gricel Vzquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Radu Calinescu, Simos Gerasimou |
| 2026 | SEAMS | Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems. | Gricel Vzquez, Calum Imrie, Sepeedeh Shahbeigi, Nawshin Mannan Proma, Tian Gan, Victoria J. Hodge, John Molloy, Simos Gerasimou |
| 2025 | SEAMS | Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning. | Gricel Vzquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Simos Gerasimou |
| 2021 | ECSA | Automated Scheduling of Multi-Robot System Missions: An Architectural Perspective (short paper). | Gricel Vzquez |