Name:Gricel Vázquez

Bio:

I am a Research Associate at the University of York, UK. My research interests include formal methods, multi-robot systems (MRS), task allocation and planning, domain-specific languages for MRS, autonomous cyber-physical systems, self-adaptation of critical systems. Recently exploring adaptive explainability of AI-planner outputs. I completed my PhD in Computer Science at the University of York and hold an MSc in Computational Intelligence and Robotics from the University of Sheffield.

Country:United Kingdom

Affiliation:University of York, UK

Research interests:Robotics, Formal Methods, Task allocation and scheduling, Plan synthesis, Probabilistic model checking