2 search results - page 1 / 1 » ATL Satisfiability is Indeed EXPTIME-complete |
LOGCOM
2006
13 years 4 months ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
TSMC
2010
12 years 11 months ago
2010
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...