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/30/2022
Gradient Backpropagation Through Combinatorial Algorithms: Identity with Projection Works
Embedding discrete solvers as differentiable layers has given modern dee...
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
∙
05/05/2021
CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints
Bridging logical and algorithmic reasoning with modern machine learning ...
research
∙
03/25/2020
Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers
Building on recent progress at the intersection of combinatorial optimiz...
research
∙
12/07/2019
Optimizing Rank-based Metrics with Blackbox Differentiation
Rank-based metrics are some of the most widely used criteria for perform...
research
∙
12/04/2019