research
∙
12/05/2022
Word Equations in Synergy with Regular Constraints (Technical Report)
When eating spaghetti, one should have the sauce and noodles mixed inste...
share
research
∙
05/05/2021
Efficient Strategy Synthesis for MDPs with Resource Constraints
We consider qualitative strategy synthesis for the formalism called cons...
research
∙
05/04/2021
Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning
We study the problem of minimizing the resource capacity of autonomous a...
research
∙
05/14/2020