Gricel Vázquez
According to our database1,
Gricel Vázquez
authored at least 5 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.
IEEE Trans. Software Eng., April, 2023
2022
Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components.
CoRR, 2022
2021
Proceedings of the Towards Autonomous Robotic Systems - 22nd Annual Conference, 2021
Automated Scheduling of Multi-Robot System Missions: An Architectural Perspective (short paper).
Proceedings of the ECSA 2021 Companion Volume, 2021