Pages that link to "Item:Q2334601"

The following pages link to Alternating-time temporal logic ATL with finitely bounded semantics (Q2334601):

Displaying 2 items.

• Bounded game-theoretic semantics for modal mu-calculus (Q2105468) (← links)
• Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking (Q2225595) (← links)