6 citations · 9 across the 3 of their papers we have counts for
3 papers
Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
Alexandros Evangelidis, Gricel Vázquez, Simos Gerasimou
Software-intensive systems, such as software product lines and robotics, utilise Markov decision processes (MDPs) to capture uncertainty and analyse sequential decision-making prob…
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
Gricel Vázquez, Radu Calinescu, Javier Cámara
We present a formal tasK AllocatioN and scheduling apprOAch for multi-robot missions (KANOA). KANOA supports two important types of task constraints: task ordering, which requires…
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
Radu Calinescu, Calum Imrie, Ravi Mangal +4
We present DeepDECS, a new method for the synthesis of correct-by-construction discrete-event controllers for autonomous systems that use deep neural network (DNN) classifiers for…