
Verifiable and Compositional Reinforcement Learning Systems
We propose a novel framework for verifiable and compositional reinforcem...
read it

TaskGuided Inverse Reinforcement Learning Under Partial Information
We study the problem of inverse reinforcement learning (IRL), where the ...
read it

PolynomialTime Algorithms for MultiAgent MinimalCapacity Planning
We study the problem of minimizing the resource capacity of autonomous a...
read it

Robust FiniteState Controllers for Uncertain POMDPs
Uncertain partially observable Markov decision processes (uPOMDPs) allow...
read it

Distributed Policy Synthesis of MultiAgent Systems With Graph Temporal Logic Specifications
We study the distributed synthesis of policies for multiagent systems t...
read it

Scalable Synthesis of MinimumInformation LinearGaussian Control by Distributed Optimization
We consider a discretetime linearquadratic Gaussian control problem in...
read it

Scalable Synthesis of MinimumInformation LinearGaussianControl by Distributed Optimization
We consider a discretetime linearquadratic Gaussian control problem in...
read it

Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications
We study the synthesis of policies for multiagent systems to implement ...
read it

ScenarioBased Verification of Uncertain MDPs
We consider Markov decision processes (MDPs) in which the transition pro...
read it

Synthesis of Provably Correct Autonomy Protocols for Shared Control
We synthesize shared control protocols subject to probabilistic temporal...
read it

RewardBased Deception with Cognitive Bias
Deception plays a key role in adversarial or strategic interactions for ...
read it

The Partially Observable Games We Play for Cyber Deception
Progressively intricate cyber infiltration mechanisms have made conventi...
read it

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints
We study the problem of synthesizing a policy that maximizes the entropy...
read it

Verification of Markov Decision Processes with RiskSensitive Measures
We develop a method for computing policies in Markov decision processes ...
read it

Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees
We formalize synthesis of shared control protocols with correctness guar...
read it
Murat Cubuktepe
verfied profile