research
∙
09/09/2023
Verifiable Reinforcement Learning Systems via Compositionality
We propose a framework for verifiable and compositional reinforcement le...
share
research
∙
12/30/2022
Task-Guided IRL in POMDPs that Scales
In inverse reinforcement learning (IRL), a learning agent infers a rewar...
research
∙
12/24/2021
Scenario-Based Verification of Uncertain Parametric MDPs
We consider parametric Markov decision processes (pMDPs) that are augmen...
research
∙
06/30/2021
Convex Optimization for Parameter Synthesis in MDPs
Probabilistic model checking aims to prove whether a Markov decision pro...
research
∙
06/29/2021
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach
We develop a probabilistic control algorithm, , for swarms of agents wit...
research
∙
06/07/2021
Verifiable and Compositional Reinforcement Learning Systems
We propose a novel framework for verifiable and compositional reinforcem...
research
∙
05/28/2021
Task-Guided Inverse Reinforcement Learning Under Partial Information
We study the problem of inverse reinforcement learning (IRL), where the ...
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
∙
09/24/2020
Robust Finite-State Controllers for Uncertain POMDPs
Uncertain partially observable Markov decision processes (uPOMDPs) allow...
research
∙
06/25/2020
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications
We study the distributed synthesis of policies for multi-agent systems t...
research
∙
04/06/2020
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization
We consider a discrete-time linear-quadratic Gaussian control problem in...
research
∙
04/06/2020
Scalable Synthesis of Minimum-Information Linear-GaussianControl by Distributed Optimization
We consider a discrete-time linear-quadratic Gaussian control problem in...
research
∙
01/24/2020
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications
We study the synthesis of policies for multi-agent systems to implement ...
research
∙
12/24/2019
Scenario-Based Verification of Uncertain MDPs
We consider Markov decision processes (MDPs) in which the transition pro...
research
∙
05/15/2019
Synthesis of Provably Correct Autonomy Protocols for Shared Control
We synthesize shared control protocols subject to probabilistic temporal...
research
∙
04/25/2019
Reward-Based Deception with Cognitive Bias
Deception plays a key role in adversarial or strategic interactions for ...
research
∙
09/28/2018
The Partially Observable Games We Play for Cyber Deception
Progressively intricate cyber infiltration mechanisms have made conventi...
research
∙
07/09/2018
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints
We study the problem of synthesizing a policy that maximizes the entropy...
research
∙
02/28/2018
Verification of Markov Decision Processes with Risk-Sensitive Measures
We develop a method for computing policies in Markov decision processes ...
research
∙
10/26/2016
