Gricel Vázquez

Orcid: 0000-0003-4886-5567

According to our database1, Gricel Vázquez authored at least 7 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components.
IEEE Trans. Software Eng., June, 2024

Robotics: A New Mission for FRET Requirements.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.
IEEE Trans. Software Eng., April, 2023

2022
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems.
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
Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams.
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


  Loading...