The following pages link to Alternating-time temporal logic (Q3455546):
Displaying 4 items.
- Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
- Addressing moral problems through practical reasoning (Q931773) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL <sup>+</sup> (Q5277905) (← links)
