Probabilistic Alternating-Time Temporal Logic with Stochastic Abilities.

Sarra Zaghbib, Gabriel Ballot, Vadim Malvone, Jean Leneutre

Browse the full ICAART paper archive.