Lectures in Game Theory for Computer Scientists

• Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials

  2024 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

  0

  citations
• Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials

  2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

  4

  citations
• Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials

  2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

  1

  citations
• Provenance analysis for logic and games

  2020 Moscow Journal of Combinatorics and Number Theory article Computer Science Logic, Reasoning, and Knowledge Open access

  7

  citations
• Provenance Analysis for Logic and Games

  2020 RWTH Publications (RWTH Aachen) article Computer Science Logic, Reasoning, and Knowledge

  13

  citations
• Robustness Verification for Classifier Ensembles

  2020 Lecture notes in computer science conference-paper Computer Science Adversarial Robustness in Machine Learning Open access

  11

  citations

6 results