About this scholarly article

Bisimulations for Verifying Strategic Abilities with an Application to Three Ballot by Belardinelli, Francesco (author);Condurache, Rodica (author);Dima, Cǎtǎlin (author);Jamroga, Wojciech (author);Jones, Andrew V. (author) is a scholarly article available to read on EtoBox.

Author

Belardinelli, Francesco (author);Condurache, Rodica (author);Dima, Cǎtǎlin (author);Jamroga, Wojciech (author);Jones, Andrew V. (author)

Publisher

International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)

Published

2017