Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

On the Expressiveness and Complexity of ATL

Francois Laroussinie ; Nicolas Markey ; Ghassan Oreiby.
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions of agents in order to enforce a given property. In this paper, we first precisely characterize the complexity of ATL&nbsp;[&hellip;]
Published on May 15, 2008
Volume 4, Issue 2
  • < Previous
  • 1
  • Next >