39 citations · 99 across the 21 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
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…
cs.LO2023★ 1 cited
Second-Order Hyperproperties
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel +1
We introduce HyperLTL, a temporal logic for the specification of hyperproperties that allows for second-order quantification over sets of traces. Unlike first-order temporal lo…
cs.LO2023★ 3 cited
AutoHyper: Explicit-State Model Checking for HyperLTL
Raven Beutner, Bernd Finkbeiner
HyperLTL is a temporal logic that can express hyperproperties, i.e., properties that relate multiple execution traces of a system. Such properties are becoming increasingly importa…