"Efficient Checking of Individual Rewards Properties in Markov Population ..."

Luca Bortolussi, Jane Hillston (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics