PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games.

Marta Kwiatkowska, David Parker, Clemens Wiltsche

Browse the full TACAS paper archive.