59 citations · 291 across the 45 of their papers we have counts for
4 papers · 1 filter
Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen +1
This paper proposes to use probabilistic model checking to synthesize optimal robot policies in multi-tasking autonomous systems that are subject to human-robot interaction. Given…
Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees
Nils Jansen, Murat Cubuktepe, Ufuk Topcu
We formalize synthesis of shared control protocols with correctness guarantees for temporal logic specifications. More specifically, we introduce a modeling formalism in which both…
Bounded Model Checking for Probabilistic Programs
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski +2
In this paper we investigate the applicability of standard model checking approaches to verifying properties in probabilistic programming. As the operational model for a standard p…
Parameter Synthesis for Markov Models: Faster Than Ever
Tim Quatmann, Christian Dehnert, Nils Jansen +2
We propose a simple technique for verifying probabilistic models whose transition probabilities are parametric. The key is to replace parametric transitions by nondeterministic cho…