research
∙
09/19/2023
Safe POMDP Online Planning via Shielding
Partially observable Markov decision processes (POMDPs) have been widely...
share
research
∙
09/12/2023
Using Reed-Muller Codes for Classification with Rejection and Recovery
When deploying classifiers in the real world, users expect them to respo...
research
∙
09/11/2023
Distributional Probabilistic Model Checking
Probabilistic model checking can provide formal guarantees on the behavi...
research
∙
08/05/2023
Multi-Agent Verification and Control with Probabilistic Model Checking
Probabilistic model checking is a technique for formal automated reasoni...
research
∙
01/04/2023
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions
Controllers for dynamical systems that operate in safety-critical settin...
research
∙
11/11/2022
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games
Stochastic games are a convenient formalism for modelling systems that c...
research
∙
11/02/2022
Partially-Observable Security Games for Automating Attack-Defense Analysis
Network systems often contain vulnerabilities that remain unfixed in a n...
research
∙
05/31/2022
Robust Anytime Learning of Markov Decision Processes
Markov decision processes (MDPs) are formal models commonly used in sequ...
research
∙
01/24/2022
Correlated Equilibria and Fairness in Concurrent Stochastic Games
Game-theoretic techniques and equilibria analysis facilitate the design ...
research
∙
01/10/2022
Verified Probabilistic Policies for Deep Reinforcement Learning
Deep reinforcement learning is an increasingly popular technique for syn...
research
∙
11/20/2021
Probabilistic Model Checking and Autonomy
Design and control of autonomous systems that operate in uncertain or ad...
research
∙
10/25/2021
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
Controllers for autonomous systems that operate in safety-critical setti...
research
∙
05/10/2021
Multi-Objective Controller Synthesis with Uncertain Human Preferences
Multi-objective controller synthesis concerns the problem of computing a...
research
∙
08/11/2020
Automatic Verification of Concurrent Stochastic Systems
Automated verification techniques for stochastic games allow formal reas...
research
∙
07/07/2020
Multi-player Equilibria Verification for Concurrent Stochastic Games
Concurrent stochastic games (CSGs) are an ideal formalism for modelling ...
research
∙
05/14/2020
Probabilistic Guarantees for Safe Deep Reinforcement Learning
Deep reinforcement learning has been successfully applied to many contro...
research
∙
05/11/2020
Failure Mode Reasoning in Model Based Safety Analysis
Failure Mode Reasoning (FMR) is a novel approach for analyzing failure i...
research
∙
06/21/2019
Verification and Control of Turn-Based Probabilistic Real-Time Games
Quantitative verification techniques have been developed for the formal ...
research
∙
11/17/2018
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games
Probabilistic model checking for stochastic games enables formal verific...
research
∙
03/07/2018