Multi-Modal CTL: Completeness, Complexity, and an Application

Thomas Ågotnes, Wiebe Van Der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Multi-Modal CTL: Completeness, Complexity, and an Application'. Together they form a unique fingerprint.

Computer Science