| On modularity in reactive control architectures, with an application to formal verification O Biggar, M Zamani, I Shames ACM Transactions on Cyber-Physical Systems (TCPS) 6 (2), 1-36, 2022 | 34 | 2022 |
| A framework for formal verification of behavior trees with linear temporal logic O Biggar, M Zamani IEEE Robotics and Automation Letters 5 (2), 2341-2348, 2020 | 30 | 2020 |
| An expressiveness hierarchy of behavior trees and related architectures O Biggar, M Zamani, I Shames IEEE Robotics and Automation Letters 6 (3), 5397-5404, 2021 | 15 | 2021 |
| Modular decomposition of hierarchical finite state machines O Biggar, M Zamani, I Shames arXiv preprint arXiv:2111.04902, 2021 | 5 | 2021 |
| A principled analysis of behavior trees and their generalisations O Biggar, M Zamani, I Shames arXiv preprint arXiv:2008.11906, 2020 | 5 | 2020 |
| The replicator dynamic, chain components and the response graph O Biggar, I Shames International Conference on Algorithmic Learning Theory, 237-258, 2023 | 3 | 2023 |
| The graph structure of two-player games O Biggar, I Shames Scientific Reports 13 (1), 1833, 2023 | 3 | 2023 |
| Preference games and sink equilibria O Biggar The Australian National University, 2022 | 1 | 2022 |
| The Attractor of the Replicator Dynamic in Zero-Sum Games O Biggar, I Shames International Conference on Algorithmic Learning Theory, 161-178, 2024 | | 2024 |
Iman ShamesAustralian National UniversityEmail confirmado em anu.edu.au
