Anja Petkovic Komel

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Pure Nash Equilibrium

Agent Programming

Top Venues

Log. Methods Comput. Sci.

Publications

Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson
Scaling Game-Theoretic Security Reasoning. CoRR (2024)
Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson
Scaling CheckMate for Game-Theoretic Security. LPAR (2024)
Lea Salome Brugger, Laura Kovács, Anja Petkovic Komel, Sophie Rain, Michael Rawson
CheckMate: Automated Game-Theoretic Security Reasoning. CCS (2023)
Andrej Bauer, Anja Petkovic Komel
An extensible equality checking algorithm for dependent type theories. Log. Methods Comput. Sci. 18 (1) (2022)