research
∙
05/17/2023
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
We consider the problem of synthesizing resilient and stochastically sta...
share
research
∙
05/15/2023
Mean Payoff Optimization for Systems of Periodic Service and Maintenance
Consider oriented graph nodes requiring periodic visits by a service age...
research
∙
06/16/2022
On-the-fly Adaptation of Patrolling Strategies in Changing Environments
We consider the problem of efficient patrolling strategy adaptation in a...
research
∙
05/27/2022
General Optimization Framework for Recurrent Reachability Objectives
We consider the mobile robot path planning problem for a class of recurr...
research
∙
02/02/2022
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
In adversarial patrolling games, a mobile Defender strives to discover i...
research
∙
08/19/2021
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
We design a new efficient strategy synthesis method applicable to advers...
research
∙
11/03/2020