Game−Based Probabilistic Predicate Abstraction in PRISM

Detalhes bibliográficos
Principais autores: Kattenbelt, M, Kwiatkowska, M, Norman, G, Parker, D
Formato: Conference item
Publicado em: 2008