39 citations · 99 across the 21 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
On Conformant Planning and Model-Checking of Hyperproperties
Raven Beutner, Bernd Finkbeiner
We study the connection of two problems within the planning and verification community: Conformant planning and model-checking of hyperproperties. Conformant planning is the task o…
cs.AI2023★ 1 cited
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
Raven Beutner, Bernd Finkbeiner
Alternating-time temporal logic (ATL) is a well-established framework for formal reasoning about multi-agent systems. However, while ATL can reason about the strategic abil…