MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Alternating-Time Temporal Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

82 documents found, showing 1 through 10. Next 10 →

ATOM

Alternating-time Temporal Logic
by Rajeev Alur, Thomas Henzinger, Orna Kupferman — 1997 — Journal of the ACM
…Alternating-time Temporal Logic y Rajeev Alur z Thomas A. Henzinger x Orna Kupferman…
Cited by 269 (47 self) – Add To MetaCart

Unbounded Model Checking for Alternating-Time Temporal Logic
by M. Kacprzak, W. Penczek, In R. Alur, T. A. Henzinger, O. Kupferman — 2004 — In AAMAS ’04: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems
…Unbounded Model Checking for Alternating-Time Temporal Logic ∗ M. Kacprzak Białystok University…
Cited by 4 (0 self) – Add To MetaCart

Proving feature non-interaction with Alternating-Time Temporal Logic
by Franck Cassez, Mark Dermot Ryan, Pierre-yves Schobbens
…Proving feature non-interaction with Alternating-Time Temporal Logic Franck Cassez 1 , Mark…
Cited by 3 (0 self) – Add To MetaCart

Proving feature non-interaction with Alternating-Time Temporal Logic
by unknown authors
… Proving feature non-interaction with Alternating-Time Temporal Logic Franck Cassez1, Mark Dermot…
Add To MetaCart

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications
by Wiebe van der Hoek, Michael Wooldridge — 2003 — Copyright 2004 ACM
… in a logic known as “Alternating-time Temporal Logic” (atl). The key insight in atl is that the path…
Cited by 32 (6 self) – Add To MetaCart

Coalition games and alternating temporal logics
by Valentin Goranko — 2001 — Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII
…] on one hand, and alternating-time temporal logics of computations in- troduced in [Alur et al, 97…
Cited by 25 (1 self) – Add To MetaCart

A logical framework for evaluating network resilience against faults and attacks
by Elie Bursztein, Jean Goubault-larrecq — 2007 — In 12th annual Asian Computing Science Conference (ASIAN
…♦ of timed alternating-time temporal logic is a convenient language to express several desirable properties…
Cited by 1 (1 self) – Add To MetaCart

Constructive knowledge: What agents can achieve under incomplete information
by Wojciech Jamroga, Thomas Ågotnes — 2005 — Journal of Applied Non-Classical Logics
…@(email omitted); Abstract We propose a non-standard semantics for Alternating-time Temporal Logic with incomplete…
Cited by 6 (4 self) – Add To MetaCart

A Logic for Coalitions with Bounded Resources ∗
by Natasha Alechina, Brian Logan, Nguyen Hoang, Nga Abdur Rakib
…,bsl,hnn,rza}@(email omitted); Abstract Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression…
Add To MetaCart

Model Checking Abilities under Incomplete Information Is Indeed ∆ P 2-complete
by Wojciech Jamroga, Jürgen Dix
…,dix}@(email omitted); Abstract We study the model checking complexity of Alternating-time temporal logic with imperfect…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB