Image de couverture de livre

The Complexity of HyperQPTL

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Regaud, Gaëtan, Zimmermann, Martin
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The Complexity of Fragments of Second-Order HyperLTL
par: Regaud, Gaëtan, et autres
Publié: (2025)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
par: Regaud, Gaëtan, et autres
Publié: (2025)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
par: Regaud, Gaëtan, et autres
Publié: (2025)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
par: Winter, Sarah, et autres
Publié: (2025)

The Complexity of Second-order HyperLTL
par: Frenkel, Hadar, et autres
Publié: (2023)

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
par: Fortin, Marie, et autres
Publié: (2023)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
par: Gonzalez, Bruno Maria René, et autres
Publié: (2025)

The Complexity of Data-Free Nfer
par: Kauffman, Sean, et autres
Publié: (2024)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
par: Winter, Sarah, et autres
Publié: (2024)

A Rewriting Theory for Quantum Lambda-Calculus
par: Faggian, Claudia, et autres
Publié: (2024)

Synchronous Team Semantics for Temporal Logics
par: Krebs, Andreas, et autres
Publié: (2024)

LPrL: An Asynchronous Linear Time Hyper Logic
par: Duggirala, Parasara Sridhar, et autres
Publié: (2025)

Cyclic Implicit Complexity
par: Curzi, Gianluca, et autres
Publié: (2021)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
par: Kontinen, Juha, et autres
Publié: (2024)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
par: Beutner, Raven, et autres
Publié: (2022)

Robust Probabilistic Temporal Logics
par: Zimmermann, Martin
Publié: (2023)

The Complexity of the Constructive Master Modality
par: Santiago-Fernández, Sofía, et autres
Publié: (2026)

Antichains for Concurrent Parameterized Games
par: Bertrand, Nathalie, et autres
Publié: (2025)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
par: Dardinier, Thibault, et autres
Publié: (2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
par: Pshenitsyn, Tikhon
Publié: (2023)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
par: Nayak, Satya Prakash, et autres
Publié: (2022)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
par: Murali, Vishnu, et autres
Publié: (2026)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

Proof Complexity of Linear Logics
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2026)

A uniform characterisation of the (a)synchronous must-preorder
par: Bernardi, Giovanni, et autres
Publié: (2026)

Meta-Mathematics of Computational Complexity Theory
par: Oliveira, Igor C.
Publié: (2025)

The Parameterized Complexity of Learning Monadic Second-Order Logic
par: van Bergerem, Steffen, et autres
Publié: (2023)

Logics for Context-free Hyperproperties
par: Winter, Sarah, et autres
Publié: (2026)

A Program Logic for Abstract (Hyper)Properties
par: Baldan, Paolo, et autres
Publié: (2026)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
par: Atserias, Albert, et autres
Publié: (2024)

HyperQB: A Bounded Model Checker for Hyperproperties
par: Hsu, Tzu-Han, et autres
Publié: (2021)

The Reachability Problem for Neural-Network Control Systems
par: Schilling, Christian, et autres
Publié: (2024)

On Small Types in Univalent Foundations
par: de Jong, Tom, et autres
Publié: (2021)

Hyper Strategy Logic
par: Beutner, Raven, et autres
Publié: (2024)

Computational Complexity of Standpoint LTL
par: Demri, Stéphane, et autres
Publié: (2024)

The Complexity of Learning Temporal Properties
par: Bordais, Benjamin, et autres
Publié: (2024)

Complexity of Abduction in Łukasiewicz Logic
par: Inoue, Katsumi, et autres
Publié: (2025)

Closure and Complexity of Temporal Causality
par: Carelli, Mishel, et autres
Publié: (2025)

On the Complexity of Proving Polyhedral Reductions
par: Amat, Nicolas, et autres
Publié: (2023)

The complete classification for quantified equality constraints
par: Zhuk, Dmitriy, et autres
Publié: (2021)