Nils Jansen

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Parameter synthesis for Markov models: covering the parameter space	2024-06-28	Paper
Efficient sensitivity analysis for parametric robust Markov chains	2024-02-01	Paper
Robust almost-sure reachability in multi-environment MDPs	2023-12-13	Paper
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

This page was built for person: Nils Jansen