Two papers at QEST 2018

The paper “Parameter-Independent Strategies for pMDPs via POMDPs” by Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Ana Sokolova, and Joost-Pieter Katoen and the paper Model Checking For Safe Navigation Among Humans by Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang and Mary Hayhoe have been accepted at QEST 2018 in Beijing.

The first paper shows that strategies for parametric MDPs which optimize the expected reachability probability under a given probability distributionover the parameters can be solved by computing optimal strategies in POMDPs. The second paper exploits probabilistic model checking to synthesise control strategies for autonomous systems that operate in environments containing uncontrollable agents such as humans.