Raven Beutner

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

DBLP profile ↗ORCID search ↗

Venues

AAMAS ×3 AAAI ×1 ECAI ×1 KR ×1

Papers

Multiplayer Games With Incomplete Information for Hyperproperty Verification
AAMAS 2025 · Raven Beutner
On Conformant Planning and Model-Checking of ∃*∀* Hyperproperties
ECAI 2025 · Raven Beutner
Strategy Logic, Imperfect Information, and Hyperproperties
KR 2025 · Raven Beutner
Hyper Strategy Logic
AAMAS 2024 · Raven Beutner
Monitoring Second-Order Hyperproperties
AAMAS 2024 · Raven Beutner
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
AAAI 2024 · Raven Beutner