C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Gricel Vázquez
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Computational Grids
Search And Rescue
Scheduling Problem
Multiple Robots
Top Venues
CoRR
FMAS/ASYDE@SEFM
TAROS
IEEE Trans. Software Eng.
</>
Publications
</>
Claudio Menghi
,
Christos Tsigkanos
,
Mehrnoosh Askarpour
,
Patrizio Pelliccione
,
Gricel Vázquez
,
Radu Calinescu
,
Sergio García
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.
IEEE Trans. Software Eng.
49 (4) (2023)
Gricel Vázquez
,
Radu Calinescu
,
Javier Cámara
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems.
FMAS/ASYDE@SEFM
(2022)
Radu Calinescu
,
Calum Imrie
,
Ravi Mangal
,
Corina S. Pasareanu
,
Misael Alpizar Santana
,
Gricel Vázquez
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components.
CoRR
(2022)
Gricel Vázquez
,
Radu Calinescu
,
Javier Cámara
Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams.
TAROS
(2021)