Practical verification of decision-making in agent-based autonomous systems Journal Article
In: Automated Software Engineering, 23 (3), pp. 305–359, 2016, ISBN: 1573-7535.
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP Journal Article
In: CoRR, abs/1905.05500 , 0000.
Verifiable Machine Ethics in Changing Contexts Journal Article
In: Proceedings of the AAAI Conference on Artificial Intelligence, 35 (13), pp. 11470-11478, 0000.