:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Ehlers, Rüdiger, Khalimov, Ayrat
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory
Accesso online:	https://arxiv.org/abs/2410.01021
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Fully Generalized Reactivity(1) Synthesis
di: Ehlers, Rüdiger, et al.
Pubblicazione: (2024)

How Concise are Chains of co-Büchi Automata?
di: Ehlers, Rüdiger
Pubblicazione: (2026)

Rerailing Automata
di: Ehlers, Rüdiger
Pubblicazione: (2025)

Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments
di: Raskin, Jean-François, et al.
Pubblicazione: (2024)

Characterizing the Polynomial-Time Minimizable $ω$-Automata
di: Radi, Bader Abu, et al.
Pubblicazione: (2025)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
di: Ren, Jiming, et al.
Pubblicazione: (2024)

Positive and monotone fragments of FO and LTL
di: Kuperberg, Denis, et al.
Pubblicazione: (2024)

The Complexity of Second-order HyperLTL
di: Frenkel, Hadar, et al.
Pubblicazione: (2023)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
di: Regaud, Gaëtan, et al.
Pubblicazione: (2025)

Simplifying LTL Model Checking Given Prior Knowledge
di: Duret-Lutz, Alexandre, et al.
Pubblicazione: (2025)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
di: Neider, Daniel, et al.
Pubblicazione: (2025)

How Concise are Chains of co-Büchi Automata?
di: Ehlers, Rüdiger
Pubblicazione: (2025)

A Direct Translation from LTL with Past to Deterministic Rabin Automata
di: Azzopardi, Shaun, et al.
Pubblicazione: (2024)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
di: Winter, Sarah, et al.
Pubblicazione: (2024)

Inform: From Compartmental Models to Stochastic Bounded Counter Machines
di: Leys, Tim, et al.
Pubblicazione: (2024)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
di: Lehaut, Mathieu, et al.
Pubblicazione: (2026)

Inquisitive Team Semantics of LTL
di: Bozzelli, Laura, et al.
Pubblicazione: (2025)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
di: Latif, Saba, et al.
Pubblicazione: (2025)

SemML 2.0: Synthesizing Controllers for LTL
di: Křetínský, Jan, et al.
Pubblicazione: (2026)

LTL$_f$ Learning Meets Boolean Set Cover
di: Bathie, Gabriel, et al.
Pubblicazione: (2025)

Full LTL Synthesis over Infinite-state Arenas
di: Azzopardi, Shaun, et al.
Pubblicazione: (2023)

From the Lyndon factorization to the Canonical Inverse Lyndon factorization: back and forth
di: Bonizzoni, Paola, et al.
Pubblicazione: (2024)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
di: Li, Elaine, et al.
Pubblicazione: (2026)

Finite Automata for Efficient Graph Recognition
di: Drewes, Frank, et al.
Pubblicazione: (2024)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
di: Akshay, S., et al.
Pubblicazione: (2024)

A Formal Approach for Tuning Stochastic Oscillators
di: Ballarini, Paolo, et al.
Pubblicazione: (2024)

A Tree Sampler for Bounded Context-Free Languages
di: Considine, Breandan
Pubblicazione: (2024)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
di: Hausmann, Daniel, et al.
Pubblicazione: (2024)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
di: Acharya, Rohan, et al.
Pubblicazione: (2024)

Characterization of Isometric Words based on Swap and Mismatch Distance
di: Anselmo, M., et al.
Pubblicazione: (2024)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
di: Pert, Charles, et al.
Pubblicazione: (2024)

Deterministic Parikh automata on infinite words
di: Grobler, Mario, et al.
Pubblicazione: (2024)

Information-flow Interfaces and Security Lattices
di: Bartocci, Ezio, et al.
Pubblicazione: (2024)

Two-Way One-Counter Nets Revisited
di: Almagor, Shaull, et al.
Pubblicazione: (2024)

5' -> 3' Watson-Crick Automata accepting Necklaces
di: Nagy, Benedek
Pubblicazione: (2024)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
di: Bizière, Clotilde, et al.
Pubblicazione: (2024)

The complexity of separability for semilinear sets and Parikh automata
di: Collins, Elias Rojas, et al.
Pubblicazione: (2024)

QuAK: Quantitative Automata Kit
di: Chalupa, Marek, et al.
Pubblicazione: (2024)

Development of parallel programs on shared data-structures -- Revised version
di: Stølen, Ketil
Pubblicazione: (2024)

Exact descriptional complexity of determinization of input-driven pushdown automata
di: Martynova, Olga
Pubblicazione: (2024)