Trace Refinement in Labelled Markov Decision Processes.

Nathanal Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi

Browse the full FOSSACS paper archive.