Timed ATL: Forget Memory, Just Count - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek. Timed ATL: Forget Memory, Just Count. In Kate Larson, Michael Winikoff, Sanmay Das, Edmund Durfee, editors, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. pages 1460-1462, ACM, 2017. [doi]

This author has not been identified. Look up 'Étienne André' in GoogleThis author has not been identified. Look up 'Laure Petrucci' in GoogleThis author has not been identified. Look up 'Wojciech Jamroga' in GoogleThis author has not been identified. Look up 'Michal Knapik' in GoogleThis author has not been identified. Look up 'Wojciech Penczek' in Google

runs on WebDSL