77 citations
1 paper · 1 filter
Catalin Dima, Ferucio Laurentiu Tiplea
We propose a formal proof of the undecidability of the model checking problem for alternating- time temporal logic under imperfect information and perfect recall semantics. This pr…