![](/img/cover-not-exists.png)
Multi-Modal CTL: Completeness, Complexity, and an Application
Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael WooldridgeVolume:
92
Language:
english
Pages:
26
DOI:
10.1007/s11225-009-9184-3
Date:
June, 2009
File:
PDF, 331 KB
english, 2009