Copertina

Full LTL Synthesis over Infinite-state Arenas

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Azzopardi, Shaun, Di Stefano, Luca, Piterman, Nir, Schneider, Gerardo
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science Formal Languages and Automata Theory Programming Languages Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

sweap: Reactive Synthesis for Infinite-State Integer Problems
di: Azzopardi, Shaun, et al.
Pubblicazione: (2026)

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

Fast Obligation Translation and Synthesis
di: Duret-Lutz, Alexandre, et al.
Pubblicazione: (2026)

Symbolic Synthesis for LTLf+ Obligations
di: De Giacomo, Giuseppe, et al.
Pubblicazione: (2026)

Algorithmic analysis of systems with affine input and polynomial state
di: Clemente, Lorenzo
Pubblicazione: (2025)

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)

Symbolic ω-automata with obligations
di: Di Stefano, Luca
Pubblicazione: (2025)

Execution and monitoring of HOA automata with HOAX
di: Di Stefano, Luca
Pubblicazione: (2025)

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)

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
di: Zhou, Can, et al.
Pubblicazione: (2026)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
di: Hausmann, Daniel, et al.
Pubblicazione: (2025)

Synthesis of Computable Regular Functions of Infinite Words
di: Dave, V., et al.
Pubblicazione: (2019)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
di: Ma, Liqian, et al.
Pubblicazione: (2025)

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

Synthesizing Computable Functions from Rational Specifications over Infinite Words
di: Filiot, Emmanuel, et al.
Pubblicazione: (2021)

An Automaton-based Characterisation of First-Order Logic over Infinite Trees
di: Benerecetti, Massimo, et al.
Pubblicazione: (2025)

Automaton-based Characterisations of First Order Logic over Infinite Trees
di: Benerecetti, Massimo, et al.
Pubblicazione: (2026)

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

Adding Reconfiguration to Zielonka's Asynchronous Automata
di: Lehaut, Mathieu, et al.
Pubblicazione: (2023)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
di: Monir, Negar, et al.
Pubblicazione: (2026)

Parikh Automata on Finite and Infinite Words
di: Grobler, Mario, et al.
Pubblicazione: (2023)

Large Scale Geometries of Infinite Strings
di: Khoussainov, Bakhadyr, et al.
Pubblicazione: (2019)

Beyond Decisiveness of Infinite Markov Chains
di: Barbot, Benoît, et al.
Pubblicazione: (2024)

Quasi-Isometric Reductions Between Infinite Strings
di: Celine, Karen Frilya, et al.
Pubblicazione: (2024)

Finding Regular Herbrand Models for CHCs using Answer Set Programming
di: Maire, Gregoire, et al.
Pubblicazione: (2025)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
di: Różowski, Wojciech, et al.
Pubblicazione: (2026)

Parametrizing Reads-From Equivalence for Predictive Monitoring
di: Farzan, Azadeh, et al.
Pubblicazione: (2026)

Weighted GKAT: Completeness and Complexity
di: Van Koevering, Spencer, et al.
Pubblicazione: (2025)

Verifying Asynchronous Hyperproperties in Reactive Systems
di: Beutner, Raven, et al.
Pubblicazione: (2025)

The Decision Problem for Regular First-Order Theories
di: Mathur, Umang, et al.
Pubblicazione: (2024)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
di: Moreau, Vincent, et al.
Pubblicazione: (2023)

SuperDP: Differential Privacy Refutation via Supermartingales
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2026)

Towards a Coq-verified Chain of Esterel Semantics
di: Berry, Gérard, et al.
Pubblicazione: (2019)

From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells
di: Barbaro, Luca, 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)

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
di: Aceto, Luca, et al.
Pubblicazione: (2025)

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
di: Holík, Lukáš, et al.
Pubblicazione: (2025)