77 citations · 77 across the 1 of their papers we have counts for
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…