alternating-time temporal logic

De Wikipédia, l'encyclopédie libre