Author:Sophie Rain

Publications
Scaling CheckMate for Game-Theoretic Security Sophie Rain, Lea Salome Brugger, Anja Petković Komel, Laura Kovács and Michael Rawson In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
CheckMate: Automated Game-Theoretic Security Reasoning Lea Salome Brugger, Laura Kovács, Anja Petković Komel, Sophie Rain and Michael Rawson EasyChair Preprint 10853