research
∙
09/28/2022
Scheduling for Urban Air Mobility using Safe Learning
This work considers the scheduling problem for Urban Air Mobility (UAM) ...
share
research
∙
01/27/2021
Safe Multi-Agent Reinforcement Learning via Shielding
Multi-agent reinforcement learning (MARL) has been increasingly used in ...
research
∙
07/31/2020
Near-Optimal Reactive Synthesis Incorporating Runtime Information
We consider the problem of optimal reactive synthesis - compute a strate...
research
∙
11/18/2019
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization
This paper studies a two-player game with a quantitative surveillance re...
research
∙
10/23/2019
Online Synthesis for Runtime Enforcement of Safety in Multi-Agent Systems
A shield is attached to a system to guarantee safety by correcting the s...
research
∙
10/23/2019
Decentralized Runtime Synthesis of Shields for Multi-Agent Systems
A shield is attached to a system to guarantee safety by correcting the s...
research
∙
04/25/2019
Reward-Based Deception with Cognitive Bias
Deception plays a key role in adversarial or strategic interactions for ...
research
∙
02/06/2019
Distributed Synthesis of Surveillance Strategies for Mobile Sensors
We study the problem of synthesizing strategies for a mobile sensor netw...
research
∙
09/15/2017