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. ISSN 0098-5589 (In Press)

Proceedings Paper

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)