Nils Jansen

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Shepherding hordes of Markov chains	2023-11-24	Paper
Convex Optimization for Parameter Synthesis in MDPs	2023-09-26	Paper
Parameter synthesis in Markov models: a gentle survey	2023-08-10	Paper
Synthesis in pMDPs: a tale of 1001 parameters	2023-07-28	Paper
Model Checking for Safe Navigation Among Humans	2023-06-28	Paper
Robustness Verification for Classifier Ensembles	2022-12-22	Paper
Scenario-Based Verification of Uncertain MDPs	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5089265	2022-07-18	Paper
Sampling-Based Verification of CTMCs with Uncertain Rates	2022-05-17	Paper
Enforcing almost-sure reachability in POMDPs	2022-03-25	Paper
Control Theory Meets POMDPs: A Hybrid Systems Approach	2022-02-24	Paper
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes	2022-02-07	Paper
Synthesis of Provably Correct Autonomy Protocols for Shared Control	2021-07-26	Paper
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions	2021-05-28	Paper
Sequential Convex Programming for the Efficient Verification of Parametric MDPs	2020-08-05	Paper
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization	2020-01-22	Paper
Parameter synthesis for Markov models: faster than ever	2018-10-25	Paper
Bounded model checking for probabilistic programs	2018-10-25	Paper
Conditioning in probabilistic programming	2016-12-16	Paper
Fast Debugging of PRISM Models	2015-12-17	Paper
Understanding Probabilistic Programs	2015-11-04	Paper
High-level Counterexamples for Probabilistic Automata	2015-04-22	Paper
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey	2015-02-25	Paper
Minimal counterexamples for linear-time probabilistic verification	2014-08-27	Paper
Minimal Critical Subsystems for Discrete-Time Markov Models	2012-06-29	Paper
Hierarchical Counterexamples for Discrete-Time Markov Chains	2011-10-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nils Jansen