PPaperPicks

Raven Beutner

8 papers at tracked venues · 1 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAMAS ×3AAAI ×1ECAI ×1FM ×1KR ×1OOPSLA ×1

Frequent coauthors

Bernd Finkbeiner
×8
Hadar Frenkel
×1
Niklas Metzger
×1
Angelina Göbl
×1

Papers

  1. Multiplayer Games With Incomplete Information for Hyperproperty Verification
    AAMAS 2025 · Raven Beutner,
    Bernd Finkbeiner
  2. On Conformant Planning and Model-Checking of ∃*∀* Hyperproperties
    ECAI 2025 · Raven Beutner,
    Bernd Finkbeiner
  3. Strategy Logic, Imperfect Information, and Hyperproperties
    KR 2025 · Raven Beutner,
    Bernd Finkbeiner
  4. Verifying Asynchronous Hyperproperties in Reactive Systems
    OOPSLA 2025 · Raven Beutner,
    Bernd Finkbeiner
  5. Hyper Strategy Logic
    AAMAS 2024 · Raven Beutner,
    Bernd Finkbeiner
  6. Monitoring Second-Order Hyperproperties
    AAMAS 2024 · Raven Beutner,
    Bernd Finkbeiner
    ,
    Hadar Frenkel
    ,
    Niklas Metzger
  7. On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
    AAAI 2024 · Raven Beutner,
    Bernd Finkbeiner
  8. Visualizing Game-Based Certificates for Hyperproperty Verification
    FM 2024 · Raven Beutner,
    Bernd Finkbeiner
    ,
    Angelina Göbl