497 citations · 2.1k across the 297 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…
Risk-Averse -regular Markov Decision Process Control
Ruediger Ehlers, Salar Moarref, Ufuk Topcu
Many control problems in environments that can be modeled as Markov decision processes (MDPs) concern infinite-time horizon specifications. The classical aim in this context is to…
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
Daniel Neider, Ufuk Topcu
We propose a method to construct finite-state reactive controllers for systems whose interactions with their adversarial environment are modeled by infinite-duration two-player gam…