b'Nils Jansen'

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty

We study planning problems for continuous control systems with uncertain...
03/03/2021 ∙ by Thom S. Badings, et al. ∙ 0 ∙ share

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

We investigate the capabilities of transfer learning in the area of stru...
02/07/2021 ∙ by Zaharah A. Bukhsh, et al. ∙ 0 ∙ share

read it
Adaptive Shielding under Uncertainty

This paper targets control problems that exhibit specific safety and per...
10/08/2020 ∙ by Stefan Pranger, et al. ∙ 0 ∙ share

read it
Robust Finite-State Controllers for Uncertain POMDPs

Uncertain partially observable Markov decision processes (uPOMDPs) allow...
09/24/2020 ∙ by Murat Cubuktepe, et al. ∙ 0 ∙ share

read it
Adversarial Patch Camouflage against Aerial Detection

Detection of military assets on the ground can be performed by applying ...
08/31/2020 ∙ by Ajaya Adhikari, et al. ∙ 24 ∙ share

read it
Strengthening Deterministic Policies for POMDPs

The synthesis problem for partially observable Markov decision processes...
07/16/2020 ∙ by Leonore Winterer, et al. ∙ 0 ∙ share

read it
Enforcing Almost-Sure Reachability in POMDPs

Partially-Observable Markov Decision Processes (POMDPs) are a well-known...
06/30/2020 ∙ by Sebastian Junges, et al. ∙ 0 ∙ share

read it
Formalizing and Guaranteeing* Human-Robot Interaction

Robot capabilities are maturing across domains, from self-driving cars, ...
06/30/2020 ∙ by Hadas Kress-Gazit, et al. ∙ 0 ∙ share

read it
Robustness Verification for Classifier Ensembles

We give a formal verification procedure that decides whether a classifie...
05/12/2020 ∙ by Dennis Gross, et al. ∙ 0 ∙ share

read it
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

Recurrent neural networks (RNNs) have emerged as an effective representa...
02/13/2020 ∙ by Steven Carr, et al. ∙ 0 ∙ share

read it
Scenario-Based Verification of Uncertain MDPs

We consider Markov decision processes (MDPs) in which the transition pro...
12/24/2019 ∙ by Murat Cubuktepe, et al. ∙ 0 ∙ share

read it
Neural Simplex Architecture

We present the Neural Simplex Architecture (NSA), a new approach to runt...
08/01/2019 ∙ by Dung Phan, et al. ∙ 0 ∙ share

read it
Synthesis of Provably Correct Autonomy Protocols for Shared Control

We synthesize shared control protocols subject to probabilistic temporal...
05/15/2019 ∙ by Murat Cubuktepe, et al. ∙ 0 ∙ share

read it
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks

We study strategy synthesis for partially observable Markov decision pro...
03/20/2019 ∙ by Steven Carr, et al. ∙ 0 ∙ share

read it
Parameter Synthesis for Markov Models

Markov chain analysis is a key technique in reliability engineering. A p...
03/16/2019 ∙ by Sebastian Junges, et al. ∙ 0 ∙ share

read it
Shepherding Hordes of Markov Chains

This paper considers large families of Markov chains (MCs) that are defi...
02/15/2019 ∙ by Milan Ceska, et al. ∙ 0 ∙ share

read it
The Partially Observable Games We Play for Cyber Deception

Progressively intricate cyber infiltration mechanisms have made conventi...
09/28/2018 ∙ by Mohamadreza Ahmadi, et al. ∙ 0 ∙ share

read it
Structured Synthesis for Probabilistic Systems

We introduce the concept of structured synthesis for Markov decision pro...
07/16/2018 ∙ by Nils Jansen, et al. ∙ 0 ∙ share

read it
Shielded Decision-Making in MDPs

A prominent problem in artificial intelligence and machine learning is t...
07/16/2018 ∙ by Nils Jansen, et al. ∙ 0 ∙ share

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

We study planning problems where autonomous agents operate inside enviro...
02/27/2018 ∙ by Steven Carr, et al. ∙ 0 ∙ share

read it
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis

We study finite-state controllers (FSCs) for partially observable Markov...
10/24/2017 ∙ by Sebastian Junges, et al. ∙ 0 ∙ share

read it
Motion Planning under Partial Observability using Game-Based Abstraction

We study motion planning problems where agents move inside environments ...
08/14/2017 ∙ by Leonore Winterer, et al. ∙ 0 ∙ share

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...
10/28/2016 ∙ by Sebastian Junges, et al. ∙ 0 ∙ share

read it
Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees

We formalize synthesis of shared control protocols with correctness guar...
10/26/2016 ∙ by Nils Jansen, et al. ∙ 0 ∙ share

read it

Nils Jansen

Featured Co-authors

Ufuk Topcu

Jie Fu

Dorsa Sadigh

Sanjit A. Seshia

Joost-Pieter Katoen

Radu Grosu

Jan Křetínský

Sebastian Junges

Roderick Bloem

Guillermo A. Perez

Scott A. Smolka

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty

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

Adaptive Shielding under Uncertainty

Robust Finite-State Controllers for Uncertain POMDPs

Adversarial Patch Camouflage against Aerial Detection

Strengthening Deterministic Policies for POMDPs

Enforcing Almost-Sure Reachability in POMDPs

Formalizing and Guaranteeing* Human-Robot Interaction

Robustness Verification for Classifier Ensembles

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

Scenario-Based Verification of Uncertain MDPs

Neural Simplex Architecture

Synthesis of Provably Correct Autonomy Protocols for Shared Control

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks

Parameter Synthesis for Markov Models

Shepherding Hordes of Markov Chains

The Partially Observable Games We Play for Cyber Deception

Structured Synthesis for Probabilistic Systems

Shielded Decision-Making in MDPs

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

Permissive Finite-State Controllers of POMDPs using Parameter Synthesis

Motion Planning under Partial Observability using Game-Based Abstraction

Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction

Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees