PPaperPicks

Bernd Finkbeiner

10 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAMAS ×3KR ×3AAAI ×2ECAI ×1NeurIPS ×1

Frequent coauthors

Raven Beutner
DBLP profile ↗ORCID search ↗
×6
S. Akshay
DBLP profile ↗ORCID search ↗
×1
Mohamed Ghanem
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Knowledge Compilation for Quantification in Alternating Automata
    KR 2026 ·
    S. Akshay
    DBLP profile ↗ORCID search ↗
  2. Universal Safety Controllers with Learned Prophecies
    AAAI 2026 · Bernd Finkbeiner
  3. An Information-Flow Perspective on Explainability Requirements: Specification and Verification
    KR 2025 · Bernd Finkbeiner
  4. Multiplayer Games With Incomplete Information for Hyperproperty Verification
    AAMAS 2025 ·
    Raven Beutner
    DBLP profile ↗ORCID search ↗
  5. On Conformant Planning and Model-Checking of ∃*∀* Hyperproperties
    ECAI 2025 ·
    Raven Beutner
    DBLP profile ↗ORCID search ↗
  6. Strategy Logic, Imperfect Information, and Hyperproperties
    KR 2025 ·
    Raven Beutner
    DBLP profile ↗ORCID search ↗
  7. Hyper Strategy Logic
    AAMAS 2024 ·
    Raven Beutner
    DBLP profile ↗ORCID search ↗
  8. Learning Better Representations From Less Data For Propositional Satisfiability
    NeurIPS 2024 ·
    Mohamed Ghanem
    DBLP profile ↗ORCID search ↗
  9. Monitoring Second-Order Hyperproperties
    AAMAS 2024 ·
    Raven Beutner
    DBLP profile ↗ORCID search ↗
  10. On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
    AAAI 2024 ·
    Raven Beutner
    DBLP profile ↗ORCID search ↗