Gricel Vazquez Flores

Filter

2024

Robotics: A New Mission for FRET Requirements
Vazquez Flores, G., Mavridou, A., Farrell, M., Pressburger, T. & Calinescu, R., 8 Apr 2024, (Accepted/In press) NASA Formal Methods (NFM).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2022

Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
Vazquez Flores, G., Calinescu, R. & Camara, J., 2022, (Accepted/In press) Fourth Workshop on Formal Methods for Autonomous Systems.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

Research output