A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability

Simon Busard, Charles Pecheur

Since the introduction of Alternating-time Temporal Logic (ATL), many logics have been proposed to reason about different strategic capabilities of the agents of a system. In parti…