
-
Adaptive Shielding under Uncertainty
This paper targets control problems that exhibit specific safety and per...
read it
-
Robust Finite-State Controllers for Uncertain POMDPs
Uncertain partially observable Markov decision processes (uPOMDPs) allow...
read it
-
Adversarial Patch Camouflage against Aerial Detection
Detection of military assets on the ground can be performed by applying ...
read it
-
Strengthening Deterministic Policies for POMDPs
The synthesis problem for partially observable Markov decision processes...
read it
-
Enforcing Almost-Sure Reachability in POMDPs
Partially-Observable Markov Decision Processes (POMDPs) are a well-known...
read it
-
Formalizing and Guaranteeing* Human-Robot Interaction
Robot capabilities are maturing across domains, from self-driving cars, ...
read it
-
Robustness Verification for Classifier Ensembles
We give a formal verification procedure that decides whether a classifie...
read it
-
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints
Recurrent neural networks (RNNs) have emerged as an effective representa...
read it
-
Scenario-Based Verification of Uncertain MDPs
We consider Markov decision processes (MDPs) in which the transition pro...
read it
-
Neural Simplex Architecture
We present the Neural Simplex Architecture (NSA), a new approach to runt...
read it
-
Synthesis of Provably Correct Autonomy Protocols for Shared Control
We synthesize shared control protocols subject to probabilistic temporal...
read it
-
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks
We study strategy synthesis for partially observable Markov decision pro...
read it
-
Parameter Synthesis for Markov Models
Markov chain analysis is a key technique in reliability engineering. A p...
read it
-
Shepherding Hordes of Markov Chains
This paper considers large families of Markov chains (MCs) that are defi...
read it
-
The Partially Observable Games We Play for Cyber Deception
Progressively intricate cyber infiltration mechanisms have made conventi...
read it
-
Structured Synthesis for Probabilistic Systems
We introduce the concept of structured synthesis for Markov decision pro...
read it
-
Shielded Decision-Making in MDPs
A prominent problem in artificial intelligence and machine learning is t...
read it
-
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes
We study planning problems where autonomous agents operate inside enviro...
read it
-
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis
We study finite-state controllers (FSCs) for partially observable Markov...
read it
-
Motion Planning under Partial Observability using Game-Based Abstraction
We study motion planning problems where agents move inside environments ...
read it
-
Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction
This paper proposes to use probabilistic model checking to synthesize op...
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