Image de couverture de livre

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Xiao, Shengping, Li, Yongkang, Zhu, Shufang, Sun, Jun, Li, Jianwen, Pu, Geguang, Vardi, Moshe Y.
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence 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

A Compositional Framework for On-the-Fly LTLf Synthesis
par: Li, Yongkang, et autres
Publié: (2025)

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

On-the-fly LTLf Synthesis under Partial Observability
par: Alon, Nadav, et autres
Publié: (2026)

LTLf Synthesis Under Unreliable Input
par: Hagemeier, Christian, et autres
Publié: (2024)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
par: Bombardelli, Alberto, et autres
Publié: (2023)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
par: Aminof, Benjamin, et autres
Publié: (2024)

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
par: Rajasekaran, Senthil, et autres
Publié: (2025)

Multi-Property Synthesis
par: Weinhuber, Christoph, et autres
Publié: (2026)

Revisiting Assumptions Ordering in CAR-Based Model Checking
par: Dong, Yibo, et autres
Publié: (2024)

Understanding CDCL Solvers via Scalability Studies and Proofdoors
par: Zhang, Shimin, et autres
Publié: (2026)

Fast Obligation Translation and Synthesis
par: Duret-Lutz, Alexandre, et autres
Publié: (2026)

Extending CDCL-based Model Enumeration with Weights
par: Spallitta, Giuseppe, et autres
Publié: (2026)

Optimal LTLf Synthesis
par: Cao, Yujian, et autres
Publié: (2026)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
par: Lin, Yi, et autres
Publié: (2025)

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

Dynamic Programming for Symbolic Boolean Realizability and Synthesis
par: Lin, Yi, et autres
Publié: (2024)

Computing Short SAT Implicants via Ising/QUBO Encodings
par: Spallitta, Giuseppe, et autres
Publié: (2026)

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

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
par: Zhang, Zhiwei, et autres
Publié: (2025)

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

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
par: Zhou, Can, et autres
Publié: (2026)

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

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
par: Zhang, Maifang, et autres
Publié: (2026)

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
par: Bals, Severin, et autres
Publié: (2023)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
par: Quansah, Paapa Kwesi, et autres
Publié: (2026)

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

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
par: Andresel, Medina, et autres
Publié: (2026)

SemML 2.0: Synthesizing Controllers for LTL
par: Křetínský, Jan, et autres
Publié: (2026)

LTL$_f$ Learning Meets Boolean Set Cover
par: Bathie, Gabriel, et autres
Publié: (2025)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
par: Hausmann, Daniel, et autres
Publié: (2025)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
par: Li, Jinzhao, et autres
Publié: (2025)

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)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
par: Artale, Alessandro, et autres
Publié: (2025)

Logic Synthesis with Generative Deep Neural Networks
par: Li, Xihan, et autres
Publié: (2024)

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

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
par: Neider, Daniel, et autres
Publié: (2025)

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

Model Counting in the Wild
par: Shaw, Arijit, et autres
Publié: (2024)

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