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
Divide and Conquer: a Compositional Approach to Game-Theoretic Security Ivana Bocevska, Anja Petković Komel, Laura Kovács, Sophie Rain and Michael Rawson EasyChair Preprint 15785
CheckMate: Automated Game-Theoretic Security Reasoning Lea Salome Brugger, Laura Kovács, Anja Petković Komel, Sophie Rain and Michael Rawson EasyChair Preprint 10853