SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic.

Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny

Browse the full ECAI paper archive.