497 citations · 2.1k across the 297 of their papers we have counts for
1 paper · 2 filters
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…