Timed ATL: Forget Memory, Just Count

DOI10.1613/jair.1.11612zbMath1430.68309OpenAlexW2973479486MaRDI QIDQ5235469

Laure Petrucci, Wojciech Penczek, Wojciech Jamroga, Étienne André, Michał Knapik

Publication date: 11 October 2019

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.11612

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

The tail-recursive fragment of timed recursive CTL

This page was built for publication: Timed ATL: Forget Memory, Just Count