References of "Penczek, Wojciech"
Bookmark and Share    
Full Text
Peer Reviewed
See detailTimed ATL: Forget Memory, Just Count
Knapik, Michal; André, Étienne; Petrucci, Laure et al

in Journal of Artificial Intelligence Research (2019), 66

Detailed reference viewed: 10 (0 UL)
Full Text
See detailSpecification and Verification of Multi-Agent Systems
Jamroga, Wojciech UL; Penczek, Wojciech

in Lectures on Logic and Computation (2012)

Detailed reference viewed: 91 (4 UL)