Can Proof Assistants Verify Multi-agent Systems?

Julian Alfredo Mendez, Timotheus Kampik

Browse the full EUMAS paper archive.