Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models

Steen Vester

We consider quantitative extensions of the alternating-time temporal logics ATL/ATLs called quantitative alternating-time temporal logics (QATL/QATLs) in which the value of a count…