7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.AI2016★ 7 cited
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…
cs.RO2016
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…