Scenario-Based Verification of Uncertain MDPs.

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

Browse the full TACAS paper archive.