Publications

(2019). Formal Verification of Open Multi-Agent Systems. Proceedings of the 18th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2019).

PDF Code Poster Reference

(2019). A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems . Proceedings of the 18th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2019).

PDF Code Poster Reference

(2019). Verification of RNN-Based Neural Agent-Environment Systems. Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019).

PDF Code

(2019). Proceedings of ICCSW 2018. Proceedings of the 2018 Imperial College Computing Student Workshop (ICCSW 2018).

PDF DOI Reference

(2018). Reachability Analysis for Neural Agent-Environment Systems. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

PDF Code Reference

(2018). Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems. Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018).

PDF Code Poster Slides DOI Reference

(2018). Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018).

PDF DOI Reference