Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements
Titel Sammlung:
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Eindhoven, The Netherlands, April 2-3, 2016