Buchumschlag

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fortin, Marie, Kuijer, Louwe B., Totzke, Patrick, Zimmermann, Martin
Format:	Preprint
Veröffentlicht:	2023
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

The Complexity of Fragments of Second-Order HyperLTL
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)

The Complexity of Second-order HyperLTL
von: Frenkel, Hadar, et al.
Veröffentlicht: (2023)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
von: Gonzalez, Bruno Maria René, et al.
Veröffentlicht: (2025)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
von: Kontinen, Juha, et al.
Veröffentlicht: (2024)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
von: Winter, Sarah, et al.
Veröffentlicht: (2024)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
von: Murali, Vishnu, et al.
Veröffentlicht: (2026)

The Complexity of HyperQPTL
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2024)

Modal Logic for Simulation, Refinement, and Mutual Ignorance
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2025)

The Size of Interpolants in Modal Logics
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
von: Chodil, Miroslav, et al.
Veröffentlicht: (2025)

Varieties of Distributed Knowledge
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

High-Level Message Sequence Charts: Satisfiability and Realizability Revisited
von: Bollig, Benedikt, et al.
Veröffentlicht: (2025)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
von: Kuijer, Louwe, et al.
Veröffentlicht: (2025)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
von: Winter, Sarah, et al.
Veröffentlicht: (2025)

The General and Finite Satisfiability Problems for PCTL are Undecidable
von: Chodil, Miroslav, et al.
Veröffentlicht: (2024)

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
von: Demri, Stephane, et al.
Veröffentlicht: (2023)

Undecidability of theories of semirings with fixed points
von: Das, Anupam, et al.
Veröffentlicht: (2025)

LPrL: An Asynchronous Linear Time Hyper Logic
von: Duggirala, Parasara Sridhar, et al.
Veröffentlicht: (2025)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
von: Asor, Ohad
Veröffentlicht: (2026)

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

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

Temporal Explorability Games
von: Austin, Pete, et al.
Veröffentlicht: (2024)

The Undecidability of Quantified Announcements
von: Ågotnes, Thomas, et al.
Veröffentlicht: (2024)

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

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
von: Dardinier, Thibault, et al.
Veröffentlicht: (2023)

Characterizing LTL Formulas by Examples
von: Cate, Balder ten, et al.
Veröffentlicht: (2026)

Computational Complexity of Standpoint LTL
von: Demri, Stéphane, et al.
Veröffentlicht: (2024)

Towards Probabilistic Strategic Timed CTL
von: Jamroga, Wojciech, et al.
Veröffentlicht: (2026)

A Program Logic for Abstract (Hyper)Properties
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

Parity Games on Temporal Graphs
von: Austin, Pete, et al.
Veröffentlicht: (2023)

Memoryless Strategies in Stochastic Reachability Games
von: Kiefer, Stefan, et al.
Veröffentlicht: (2024)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
von: Bordais, Benjamin, et al.
Veröffentlicht: (2024)

Runtime Verification for LTL in Stochastic Systems
von: Esparza, Javier, et al.
Veröffentlicht: (2025)

HyperQB: A Bounded Model Checker for Hyperproperties
von: Hsu, Tzu-Han, et al.
Veröffentlicht: (2021)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
von: Jovanovic, Dejan
Veröffentlicht: (2026)

Undecidability of Linear Logics without Weakening
von: Suzuki, Jun, et al.
Veröffentlicht: (2025)

Systemic Constraints of Undecidability
von: Bulin, Seth
Veröffentlicht: (2025)

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
von: Pettinau, Roberto, et al.
Veröffentlicht: (2026)