Sign in

Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata.

Joost-Pieter KatoenFalak Sher
Published in: Models, Algorithms, Logics and Tools (2017)
Keyphrases