Alternating-time logic with imperfect recall
Open Access
- 30 April 2004
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 85 (2), 82-93
- https://doi.org/10.1016/s1571-0661(05)82604-0
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Approximating ATL* in ATLLecture Notes in Computer Science, 2002
- MOCHA: Modularity in model checkingLecture Notes in Computer Science, 1998
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Decision procedures and expressiveness in the temporal logic of branching timeJournal of Computer and System Sciences, 1985