Name:Gricel Vázquez

Country:United Kingdom

Affiliation:University of York, UK

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