Michael Rawson

Publication Activity (10 Years)

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

Top Topics

Automated Reasoning

Pure Nash Equilibrium

Agent Programming

Top Venues

Publications

Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. IACR Cryptol. ePrint Arch. 2024 (2024)
Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson
Scaling Game-Theoretic Security Reasoning. CoRR (2024)
Márton Hajdú, Laura Kovács, Michael Rawson
Rewriting and Inductive Reasoning. LPAR (2024)
Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov
Reducibility Constraints in Superposition. IJCAR (1) (2024)
Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson
Scaling CheckMate for Game-Theoretic Security. LPAR (2024)
Márton Hajdú, Laura Kovács, Michael Rawson
Rewriting and Inductive Reasoning. CoRR (2024)
Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
Superposition with Delayed Unification. CoRR (2024)
Clemens Eisenhofer, Michael Rawson, Laura Kovács
Spanning Matrices via Satisfiability Solving. CoRR (2024)
Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
Lemmas: Generation, Selection, Application. TABLEAUX (2023)
Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath
SAT-Based Subsumption Resolution. CADE (2023)
Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. CoRR (2023)
Clemens Eisenhofer, Laura Kovács, Michael Rawson
Embedding the Connection Calculus in Satisfiability Modulo Theories. AReCCa@TABLEAUX (2023)
Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
Superposition with Delayed Unification. CADE (2023)
Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovács
Non-Classical Logics in Satisfiability Modulo Theories. TABLEAUX (2023)
Lea Salome Brugger, Laura Kovács, Anja Petkovic Komel, Sophie Rain, Michael Rawson
CheckMate: Automated Game-Theoretic Security Reasoning. CCS (2023)
Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger
The Rapid Software Verification Framework. FMCAD (2022)
Michael Rawson, Giles Reger
On Evaluating Theorem Provers. ARCADE@CADE (2021)