Probabilistic Timed ATL

Open Webpage

Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

Published: 01 Jan 2025, Last Modified: 04 Oct 2025AAMAS 2025EveryoneRevisionsBibTeXCC BY-SA 4.0