Buchumschlag

Closure and Complexity of Temporal Causality

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Carelli, Mishel, Finkbeiner, Bernd, Siber, Julian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Synthesis of Temporal Causality
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2024)

Explainability Requirements as Hyperproperties
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)

Counterfactual Explanations for MITL Violations
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2024)

Loop Termination and Generalized Collatz Sequences
von: Carelli, Mishel
Veröffentlicht: (2026)

CTL* Verification and Synthesis using Existential Horn Clauses
von: Carelli, Mishel, et al.
Veröffentlicht: (2024)

Learning Better Representations From Less Data For Propositional Satisfiability
von: Ghanem, Mohamed, et al.
Veröffentlicht: (2024)

Stream-Based Monitoring of Algorithmic Fairness
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Logics and Algorithms for Hyperproperties
von: Finkbeiner, Bernd
Veröffentlicht: (2025)

Coinductive Proofs for Temporal Hyperliveness
von: Correnson, Arthur, et al.
Veröffentlicht: (2025)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
von: Beutner, Raven, et al.
Veröffentlicht: (2023)

Checking Satisfiability of Hyperproperties using First-Order Logic
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2022)

Trace Repair for Temporal Behavior Trees
von: Schirmer, Sebastian, et al.
Veröffentlicht: (2025)

Visualizing Game-Based Certificates for Hyperproperty Verification
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Information Flow Guided Synthesis with Unbounded Communication
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2024)

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

Differentially Private Runtime Monitoring
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

A Tutorial on Stream-based Monitoring
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Strategy Logic, Imperfect Information, and Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Hyper Strategy Logic
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

Universal Safety Controllers with Learned Prophecies
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)

Synthesis of Universal Safety Controllers
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)

Verifying Asynchronous Hyperproperties in Reactive Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Non-Deterministic Planning for Hyperproperty Verification
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

An Intermediate Program Representation for Optimizing Stream-Based Languages
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Learning Representations Through Contrastive Neural Model Checking
von: Krsmanovic, Vladimir, et al.
Veröffentlicht: (2025)

Reaching Classicality through Transitive Closure
von: Blomet, Quentin, et al.
Veröffentlicht: (2025)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
von: Nakamura, Yoshiki
Veröffentlicht: (2023)

Syntax-Guided Automated Program Repair for Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

Monitoring Second-Order Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

The Complexity of Learning Temporal Properties
von: Bordais, Benjamin, et al.
Veröffentlicht: (2024)

Knowledge Compilation for Quantification in Alternating Automata
von: Akshay, S., et al.
Veröffentlicht: (2026)

Congruence Closure Modulo Groups
von: Kim, Dohan
Veröffentlicht: (2023)

On Bisimilarity for Quasi-discrete Closure Spaces
von: Ciancia, Vincenzo, et al.
Veröffentlicht: (2023)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
von: Artale, Alessandro, et al.
Veröffentlicht: (2022)