Source: /wikibot/alternating-time-temporal-logic

= Alternating-time temporal logic
{wiki=Alternating-time_temporal_logic}