Author:Anja Petković Komel

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
Game Modeling of Blockchain Protocols Sophie Rain, Anja Petković Komel, Michael Rawson and Laura Kovács EasyChair Preprint 16006
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
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