PPaperPicks

Bernd Finkbeiner

17 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAMAS ×3FM ×3KR ×3AAAI ×2OOPSLA ×2ECAI ×1ICFP ×1NeurIPS ×1POPL ×1

Frequent coauthors

Raven Beutner
×8
Arthur Correnson
×4
Niklas Metzger
×3
Florian Kohn
×2
Jan Baumeister
×2
Hadar Frenkel
×2
Julian Siber
×2
S. Akshay
×1
Alfredo Cantarella
×1
Supratik Chakraborty
×1
Satya Prakash Nayak
×1
Anne-Kathrin Schmuck
×1

Papers

  1. Knowledge Compilation for Quantification in Alternating Automata
    KR 2026 ·
    S. Akshay
    ,
    Alfredo Cantarella
    ,
    Supratik Chakraborty
    , Bernd Finkbeiner,
    Niklas Metzger
  2. Pacing Types for Asynchronous Stream Equations
    FM 2026 ·
    Florian Kohn
    ,
    Arthur Correnson
    ,
    Jan Baumeister
    , Bernd Finkbeiner
  3. Universal Safety Controllers with Learned Prophecies
    AAAI 2026 · Bernd Finkbeiner,
    Niklas Metzger
    ,
    Satya Prakash Nayak
    ,
    Anne-Kathrin Schmuck
  4. Almost Fair Simulations
    ICFP 2025 ·
    Arthur Correnson
    ,
    Iona Kuhn
    , Bernd Finkbeiner
  5. An Information-Flow Perspective on Explainability Requirements: Specification and Verification
    KR 2025 · Bernd Finkbeiner,
    Hadar Frenkel
    ,
    Julian Siber
  6. Coinductive Proofs for Temporal Hyperliveness
    POPL 2025 ·
    Arthur Correnson
    , Bernd Finkbeiner
  7. Multiplayer Games With Incomplete Information for Hyperproperty Verification
    AAMAS 2025 ·
    Raven Beutner
    , Bernd Finkbeiner
  8. On Conformant Planning and Model-Checking of ∃*∀* Hyperproperties
    ECAI 2025 ·
    Raven Beutner
    , Bernd Finkbeiner
  9. Strategy Logic, Imperfect Information, and Hyperproperties
    KR 2025 ·
    Raven Beutner
    , Bernd Finkbeiner
  10. Verifying Asynchronous Hyperproperties in Reactive Systems
    OOPSLA 2025 ·
    Raven Beutner
    , Bernd Finkbeiner
  11. A Tutorial on Stream-Based Monitoring
    FM 2024 ·
    Jan Baumeister
    , Bernd Finkbeiner,
    Florian Kohn
    ,
    Frederik Scheerer
  12. Finding ∀∃ Hyperbugs using Symbolic Execution
    OOPSLA 2024 ·
    Arthur Correnson
    ,
    Tobias Nießen
    , Bernd Finkbeiner,
    Georg Weissenbacher
  13. Hyper Strategy Logic
    AAMAS 2024 ·
    Raven Beutner
    , Bernd Finkbeiner
  14. Learning Better Representations From Less Data For Propositional Satisfiability
    NeurIPS 2024 ·
    Mohamed Ghanem
    ,
    Frederik Schmitt
    ,
    Julian Siber
    , Bernd Finkbeiner
  15. Monitoring Second-Order Hyperproperties
    AAMAS 2024 ·
    Raven Beutner
    , Bernd Finkbeiner,
    Hadar Frenkel
    ,
    Niklas Metzger
  16. On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
    AAAI 2024 ·
    Raven Beutner
    , Bernd Finkbeiner
  17. Visualizing Game-Based Certificates for Hyperproperty Verification
    FM 2024 ·
    Raven Beutner
    , Bernd Finkbeiner,
    Angelina Göbl