Game-Based Probabilistic Predicate Abstraction in PRISM

By Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman and David Parker

Publisher: 'Elsevier BV'

Year: 2008

DOI identifier: 10.1016/j.entcs.2008.11.016

OAI identifier:

Provided by: MUCC (Crossref)

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

https://doi.org/10.1016/j.entc... (external link)