| 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 | 40 | 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 | 40 | 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 | 28 | 2021 |
| A principled analysis of behavior trees and their generalisations O Biggar, M Zamani, I Shames arXiv preprint arXiv:2008.11906, 2020 | 12 | 2020 |
| The graph structure of two-player games O Biggar, I Shames Scientific Reports 13 (1), 1833, 2023 | 9 | 2023 |
| The replicator dynamic, chain components and the response graph O Biggar, I Shames International Conference on Algorithmic Learning Theory, 237-258, 2023 | 7 | 2023 |
| Modular decomposition of hierarchical finite state machines O Biggar, M Zamani, I Shames arXiv preprint arXiv:2111.04902, 2021 | 7 | 2021 |
| The attractor of the replicator dynamic in zero-sum games O Biggar, I Shames International Conference on Algorithmic Learning Theory, 161-178, 2024 | 4 | 2024 |
| Preference games and sink equilibria O Biggar The Australian National University, 2022 | 2 | 2022 |
| Preference graphs: a combinatorial tool for game theory O Biggar, I Shames arXiv preprint arXiv:2502.03546, 2025 | 1 | 2025 |
| Sink equilibria and the attractors of learning in games O Biggar, C Papadimitriou arXiv preprint arXiv:2502.07975, 2025 | | 2025 |
| A Behavior Tree-inspired programming language for autonomous agents O Biggar, I Shames arXiv preprint arXiv:2412.08654, 2024 | | 2024 |
Iman ShamesAustralian National UniversityBestätigte E-Mail-Adresse bei anu.edu.au
