Publications

(2022). A Counter Abstraction Technique for Verifying Properties of Probabilistic Swarm Systems. A Counter Abstraction Technique for Verifying Properties of Probabilistic Swarm Systems.

PDF Code DOI

(2021). Parameterised model checking of probabilistic multi-agent systems. PhD Thesis.

PDF Code DOI

(2020). Verifying Fault-Tolerance in Probabilistic Swarm Systems. Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI20).

PDF Code Reference

(2020). Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems. Proceedings of the 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020).

PDF Code Slides Video Reference

(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 Reference

(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

(2017). Applications of Reinforcement Learning to Medical Image Segmentation. Masters Project Report.

PDF Code