STV: Model Checking for Strategies under Imperfect Information - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Damian Kurpiewski, Wojciech Jamroga, Michal Knapik. STV: Model Checking for Strategies under Imperfect Information. In Edith Elkind, Manuela Veloso, Noa Agmon, Matthew E. Taylor, editors, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019. pages 2372-2374, International Foundation for Autonomous Agents and Multiagent Systems, 2019. [doi]

This author has not been identified. Look up 'Damian Kurpiewski' in GoogleThis author has not been identified. Look up 'Wojciech Jamroga' in GoogleThis author has not been identified. Look up 'Michal Knapik' in Google

runs on WebDSL