Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic.

Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

Browse the full PPDP paper archive.