Image de couverture de livre

Asynchronous Composition of LTL Properties over Infinite and Finite Traces

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bombardelli, Alberto, Tonetta, Stefano
Format:	Preprint
Publié:	2023
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

Unifying Asynchronous Logics for Hyperproperties
par: Bombardelli, Alberto, et autres
Publié: (2024)

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

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
par: Xiao, Shengping, et autres
Publié: (2024)

Full LTL Synthesis over Infinite-state Arenas
par: Azzopardi, Shaun, et autres
Publié: (2023)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
par: Asor, Ohad
Publié: (2026)

A first-order logic characterization of safety and co-safety languages
par: Cimatti, Alessandro, et autres
Publié: (2022)

Characterizing LTL Formulas by Examples
par: Cate, Balder ten, et autres
Publié: (2026)

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

Pairwise Independence of Representation, Classification, and Composition in Finite Extensional Magmas
par: Palmieri, Stefano
Publié: (2026)

Runtime Verification for LTL in Stochastic Systems
par: Esparza, Javier, et autres
Publié: (2025)

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)

Infinite Traces by Finality: a Sheaf-Theoretic Approach
par: Peressotti, Marco
Publié: (2025)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Infinite trees
par: Goy, Alexandre
Publié: (2025)

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

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)

Automata Linear Dynamic Logic on Finite Traces
par: Smith, Kevin W., et autres
Publié: (2021)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
par: Carette, Titouan, et autres
Publié: (2025)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
par: Elad, Neta, et autres
Publié: (2023)

Computing with Infinite Objects: the Gray Code Case
par: Spreen, Dieter, et autres
Publié: (2021)

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
par: Pettinau, Roberto, et autres
Publié: (2026)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
par: Pinsker, Michael, et autres
Publié: (2025)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
par: Danso, Priscilla Kyei, et autres
Publié: (2026)

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
par: Pears, Jonah, et autres
Publié: (2024)

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

Positive and monotone fragments of FO and LTL
par: Kuperberg, Denis, et autres
Publié: (2024)

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
par: Perez, Mateo, et autres
Publié: (2023)

Parikh Automata on Finite and Infinite Words
par: Grobler, Mario, et autres
Publié: (2023)

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

Asynchronous Multiparty Sessions with Mixed Choice
par: Barbanera, Franco, et autres
Publié: (2026)

A Unified Gentzen-style Framework for Until-free LTL
par: Kamide, Norihiro, et autres
Publié: (2024)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

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

Shield Synthesis for LTL Modulo Theories
par: Rodriguez, Andoni, et autres
Publié: (2024)

On Asynchronous Multiparty Session Types for Federated Learning
par: Prokić, Ivan, et autres
Publié: (2025)

Embedded Finite Models Beyond Restricted Quantifier Collapse
par: Benedikt, Michael, et autres
Publié: (2023)

Synthesis of Infinite State Systems
par: Drucker, Ohad, et autres
Publié: (2025)

Simplifying LTL Model Checking Given Prior Knowledge
par: Duret-Lutz, Alexandre, et autres
Publié: (2025)