:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Finkbeiner, Bernd, Metzger, Niklas, Nayak, Satya Prakash, Schmuck, Anne-Kathrin
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2511.11390
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Synthesis of Universal Safety Controllers
by: Finkbeiner, Bernd, et al.
Published: (2025)

Localized Attractor Computations for Infinite-State Games (Full Version)
by: Schmuck, Anne-Kathrin, et al.
Published: (2024)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
by: Anand, Ashwani, et al.
Published: (2025)

Information Flow Guided Synthesis with Unbounded Communication
by: Finkbeiner, Bernd, et al.
Published: (2024)

Synthesis of Temporal Causality
by: Finkbeiner, Bernd, et al.
Published: (2024)

Most General Winning Secure Equilibria Synthesis in Graph Games
by: Nayak, Satya Prakash, et al.
Published: (2024)

Monitoring Second-Order Hyperproperties
by: Beutner, Raven, et al.
Published: (2024)

Knowledge Compilation for Quantification in Alternating Automata
by: Akshay, S., et al.
Published: (2026)

Logics and Algorithms for Hyperproperties
by: Finkbeiner, Bernd
Published: (2025)

Synthesizing Permissive Winning Strategy Templates for Parity Games
by: Anand, Ashwani, et al.
Published: (2023)

Contract-Based Distributed Synthesis in Two-Objective Parity Games
by: Anand, Ashwani, et al.
Published: (2023)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
by: Nayak, Satya Prakash, et al.
Published: (2022)

Explainability Requirements as Hyperproperties
by: Finkbeiner, Bernd, et al.
Published: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
by: Beutner, Raven, et al.
Published: (2025)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
by: Beutner, Raven, et al.
Published: (2025)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
by: Beutner, Raven, et al.
Published: (2022)

MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
by: Anand, Ashwani, et al.
Published: (2026)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
by: Beutner, Raven, et al.
Published: (2025)

Coinductive Proofs for Temporal Hyperliveness
by: Correnson, Arthur, et al.
Published: (2025)

Differentially Private Runtime Monitoring
by: Finkbeiner, Bernd, et al.
Published: (2026)

Closure and Complexity of Temporal Causality
by: Carelli, Mishel, et al.
Published: (2025)

Visualizing Game-Based Certificates for Hyperproperty Verification
by: Beutner, Raven, et al.
Published: (2025)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
by: Baumeister, Jan, et al.
Published: (2025)

Solving Two-Player Games under Progress Assumptions
by: Schmuck, Anne-Kathrin, et al.
Published: (2023)

Computing Adequately Permissive Assumptions for Synthesis
by: Anand, Ashwani, et al.
Published: (2023)

Strategy Logic, Imperfect Information, and Hyperproperties
by: Beutner, Raven, et al.
Published: (2025)

Hyper Strategy Logic
by: Beutner, Raven, et al.
Published: (2024)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
by: Beutner, Raven, et al.
Published: (2023)

Learning Representations Through Contrastive Neural Model Checking
by: Krsmanovic, Vladimir, et al.
Published: (2025)

A Tutorial on Stream-based Monitoring
by: Baumeister, Jan, et al.
Published: (2025)

Learning Better Representations From Less Data For Propositional Satisfiability
by: Ghanem, Mohamed, et al.
Published: (2024)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
by: Finkbeiner, Bernd, et al.
Published: (2025)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
by: Frenkel, Eden, et al.
Published: (2026)

Verifying Asynchronous Hyperproperties in Reactive Systems
by: Beutner, Raven, et al.
Published: (2025)

Non-Deterministic Planning for Hyperproperty Verification
by: Beutner, Raven, et al.
Published: (2024)

Robust Computation Tree Logic
by: Nayak, Satya Prakash, et al.
Published: (2022)

An Intermediate Program Representation for Optimizing Stream-Based Languages
by: Baumeister, Jan, et al.
Published: (2025)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
by: Finkbeiner, Bernd, et al.
Published: (2026)

Counterfactual Explanations for MITL Violations
by: Finkbeiner, Bernd, et al.
Published: (2024)

Trace Repair for Temporal Behavior Trees
by: Schirmer, Sebastian, et al.
Published: (2025)