Items where authors include "Vazquez Flores, Gricel"

Article

Calinescu, Radu orcid.org/0000-0002-2678-9260, Imrie, Calum Corrie, Mangal, Ravi et al. (4 more authors) (2024) Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. IEEE Transactions on Software Engineering. pp. 1374-1395. ISSN 0098-5589

Proceedings Paper

Vazquez Flores, Gricel, Evangelidis, Alexandros, Shahbeigi Roudposhti, Sepeedeh et al. (1 more author) (2025) Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning. In: 20th International Conference on Software Engineering for Adaptive and Self-Managing Systems. 20th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 28-29 Apr 2025. , CAN . (In Press)

Vazquez Flores, Gricel, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Camara, Javier (2022) Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. In: Fourth Workshop on Formal Methods for Autonomous Systems. UNSPECIFIED. . (In Press)