39 citations · 92 across the 17 of their papers we have counts for
3 papers · 1 filter
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories
Francesco Leofante, Erika Ábrahám, Tim Niemueller +2
In manufacturing, the increasing involvement of autonomous robots in production processes poses new challenges on the production management. In this paper we report on the usage of…
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis
Stefan Schupp, Johanna Nellen, Erika Ábrahám
In this paper we propose an improvement for flowpipe-construction-based reachability analysis techniques for hybrid systems. Such methods apply iterative successor computations to…
Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis
Erika Ábrahám, Sergiy Bogomolov
Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of it…