b'Nils Jansen'

research

∙ 05/17/2022

Sampling-Based Verification of CTMCs with Uncertain Rates

We employ uncertain parametric CTMCs with parametric transition rates an...

Thom S. Badings, et al. ∙

research

∙ 04/02/2022

Safe Reinforcement Learning via Shielding for POMDPs

Reinforcement learning (RL) in safety-critical environments requires an ...

Steven Carr, et al. ∙

research

∙ 12/24/2021

Scenario-Based Verification of Uncertain Parametric MDPs

We consider parametric Markov decision processes (pMDPs) that are augmen...

Thom S. Badings, et al. ∙

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...

Thom S. Badings, et al. ∙

research

∙ 06/30/2021

Convex Optimization for Parameter Synthesis in MDPs

Probabilistic model checking aims to prove whether a Markov decision pro...

Murat Cubuktepe, et al. ∙

research

∙ 05/27/2021

Model Repair Revamped: On the Automated Synthesis of Markov Chains

This paper outlines two approaches|based on counterexample-guided abstra...

Milan Ceska, et al. ∙

research

∙ 03/03/2021

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty

We study planning problems for continuous control systems with uncertain...

Thom S. Badings, et al. ∙

research

∙ 02/07/2021

Damage detection using in-domain and cross-domain transfer learning

We investigate the capabilities of transfer learning in the area of stru...

Zaharah A. Bukhsh, et al. ∙

research

∙ 10/08/2020

Adaptive Shielding under Uncertainty

This paper targets control problems that exhibit specific safety and per...

Stefan Pranger, et al. ∙

research

∙ 09/24/2020

Robust Finite-State Controllers for Uncertain POMDPs

Uncertain partially observable Markov decision processes (uPOMDPs) allow...

Murat Cubuktepe, et al. ∙

research

∙ 08/31/2020

Adversarial Patch Camouflage against Aerial Detection

Detection of military assets on the ground can be performed by applying ...

Ajaya Adhikari, et al. ∙

research

∙ 07/16/2020

Strengthening Deterministic Policies for POMDPs

The synthesis problem for partially observable Markov decision processes...

Leonore Winterer, et al. ∙

research

∙ 06/30/2020

Enforcing Almost-Sure Reachability in POMDPs

Partially-Observable Markov Decision Processes (POMDPs) are a well-known...

Sebastian Junges, et al. ∙

research

∙ 06/30/2020

Formalizing and Guaranteeing* Human-Robot Interaction

Robot capabilities are maturing across domains, from self-driving cars, ...

Hadas Kress-Gazit, et al. ∙

research

∙ 05/12/2020

Robustness Verification for Classifier Ensembles

We give a formal verification procedure that decides whether a classifie...

Dennis Gross, et al. ∙

research

∙ 02/13/2020

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

Recurrent neural networks (RNNs) have emerged as an effective representa...

Steven Carr, et al. ∙

research

∙ 12/24/2019

Scenario-Based Verification of Uncertain MDPs

We consider Markov decision processes (MDPs) in which the transition pro...

Murat Cubuktepe, et al. ∙

research

∙ 08/01/2019

Neural Simplex Architecture

We present the Neural Simplex Architecture (NSA), a new approach to runt...

Dung Phan, et al. ∙

research

∙ 05/15/2019

Synthesis of Provably Correct Autonomy Protocols for Shared Control

We synthesize shared control protocols subject to probabilistic temporal...

Murat Cubuktepe, et al. ∙

research

∙ 03/20/2019

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks

We study strategy synthesis for partially observable Markov decision pro...

Steven Carr, et al. ∙

research

∙ 03/16/2019

Parameter Synthesis for Markov Models

Markov chain analysis is a key technique in reliability engineering. A p...

Sebastian Junges, et al. ∙

research

∙ 02/15/2019

Shepherding Hordes of Markov Chains

This paper considers large families of Markov chains (MCs) that are defi...

Milan Ceska, et al. ∙

research

∙ 09/28/2018

The Partially Observable Games We Play for Cyber Deception

Progressively intricate cyber infiltration mechanisms have made conventi...

Mohamadreza Ahmadi, et al. ∙

research

∙ 07/16/2018

Structured Synthesis for Probabilistic Systems

We introduce the concept of structured synthesis for Markov decision pro...

Nils Jansen, et al. ∙

research

∙ 07/16/2018

Shielded Decision-Making in MDPs

A prominent problem in artificial intelligence and machine learning is t...

Nils Jansen, et al. ∙

research

∙ 02/27/2018

Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes

We study planning problems where autonomous agents operate inside enviro...

Steven Carr, et al. ∙

research

∙ 10/24/2017

Permissive Finite-State Controllers of POMDPs using Parameter Synthesis

We study finite-state controllers (FSCs) for partially observable Markov...

Sebastian Junges, et al. ∙

research

∙ 08/14/2017

Motion Planning under Partial Observability using Game-Based Abstraction

We study motion planning problems where agents move inside environments ...

Leonore Winterer, et al. ∙

research

∙ 10/28/2016

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...

Sebastian Junges, et al. ∙

research

∙ 10/26/2016

Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees

We formalize synthesis of shared control protocols with correctness guar...

Nils Jansen, et al. ∙

Nils Jansen

Featured Co-authors