ATL* Satisfiability Is 2EXPTIME-Complete

  title={ATL* Satisfiability Is 2EXPTIME-Complete},
  author={Sven Schewe},
The two central decision problems that arise during the design of safety critical systems are the satisfiability and the model checking problem. While model checking can only be applied after implementing the system, satisfiability checking answers the question whether a system that satisfies the specification exists. Model checking is traditionally considered to be the simpler problem – for branching-time and fixed point logics such as CTL, CTL*, ATL, and the classical and alternating time… CONTINUE READING

2 Figures & Tables



Citations per Year

52 Citations

Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.