activity
20112016
most citedAlternating-time temporal logic with finite-memory strategies

7 citations · 13 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2014★ 4 cited

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…