4 new Cassting publications

1. Quantified CTL: expressiveness and complexity
François Laroussinie, Nicolas Markey.

2. Satisfiability of ATL with strategy contexts
François Laroussinie, Nicolas Markey.

3. Robust Controller Synthesis in Timed Automata
Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier.

4. Robust Weighted Timed Automata and Games
Patricia Bouyer, Nicolas Markey, Ocan Sankur.

Full details and downloads of papers available at the Cassting website.