Parameter Synthesis for Markov Models: Faster Than Ever.

Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

Browse the full ATVA paper archive.