Raven Beutner

Strategy Logic, Imperfect Information, and Hyperproperties

On Conformant Planning and Model-Checking of ∃*∀* Hyperproperties

Verifying Asynchronous Hyperproperties in Reactive Systems

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information

Predicate abstraction for hyperliveness verification

Multiplayer Games With Incomplete Information for Hyperproperty Verification (Extended Abstract)

AutoHyper: leveraging language inclusion checking for hyperproperty model-checking

Checking Satisfiability of Hyperproperties using First-Order Logic

Visualizing Game-Based Certificates for Hyperproperty Verification

Syntax-Guided Automated Program Repair for Hyperproperties

Non-Deterministic Planning for Hyperproperty Verification

Hyper Strategy Logic

Monitoring Second-Order Hyperproperties

Automated Software Verification of Hyperliveness

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing

Checking and Sketching Causes on Temporal Sequences

Second-Order Hyperproperties

Model Checking Omega-Regular Hyperproperties with AutoHyperQ

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems

AutoHyper: Explicit-State Model Checking for HyperLTL

Deciding Hyperproperties Combined with Functional Specifications

Prophecy Variables for Hyperproperty Verification

Software Verification of Hyperproperties Beyond k-Safety

Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming

A Temporal Logic for Strategic Hyperproperties

On Probabilistic Termination of Functional Programs with Continuous Distributions

Translating Asynchronous Games for Distributed Synthesis

On Termination of Higher-Order Recursive Programs with Continuous Distributions

Translating Asynchronous Games for Distributed Synthesis

Visuallizing Game-Based Certificates for Hyperproperty Verification