Lea Salome Brugger

Publication Activity (10 Years)

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

Top Topics

Pure Nash Equilibrium

Rational Agents

Regret Minimization

Top Venues

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)
Raffael Foidl, Lea Salome Brugger, Tomasz Miksa
Automating Evaluation of Machine-Actionable Data Management Plans with Semantic Web Technologies. DaMaLOS (2021)