Satisfiability Checking for (Strategic) Timed CTL Using IMITATOR.

Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

Browse the full ICAART paper archive.