Cassting/SynCoP

Keyphrases

Publications

2016

Bharath Siva Kumar Tati, Markus Siegle
Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements. Cassting/SynCoP (2016)
Benedikt Brütsch, Wolfgang Thomas
Playing Games in the Baire Space. Cassting/SynCoP (2016)
Sotiris Moschoyiannis, Nicholas Elia, Alexandra S. Penn, David J. B. Lloyd, Christopher J. K. Knight
A Web-based Tool for Identifying Strategic Intervention Points in Complex Systems. Cassting/SynCoP (2016)
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes
Two-Buffer Simulation Games. Cassting/SynCoP (2016)
Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures. Cassting/SynCoP (2016)
Camille Coti
Parametric, Probabilistic, Timed Resource Discovery System. Cassting/SynCoP (2016)
Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad, Benjamin Monmege
Efficient Energy Distribution in a Smart Grid using Multi-Player Games. Cassting/SynCoP (2016)

volume 220, 2016

Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. Cassting/SynCoP 220 (2016)