On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems.

Steen Vester

Browse the full ATVA paper archive.