Items where authors include "Vazquez Flores, Gricel"
Jump to: Article | Proceedings Paper
Number of items: 2.
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)