Buchumschlag

LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	De Giacomo, Giuseppe, Parretti, Gianmarco, Zhu, Shufang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Incremental LTLf Synthesis
von: De Giacomo, Giuseppe, et al.
Veröffentlicht: (2026)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
von: Hausmann, Daniel, et al.
Veröffentlicht: (2025)

Computational Grounding of Responsibility Attribution and Anticipation in LTLf
von: De Giacomo, Giuseppe, et al.
Veröffentlicht: (2024)

Optimal LTLf Synthesis
von: Cao, Yujian, et al.
Veröffentlicht: (2026)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
von: Hofmann, Till, et al.
Veröffentlicht: (2024)

Symbolic Synthesis for LTLf+ Obligations
von: De Giacomo, Giuseppe, et al.
Veröffentlicht: (2026)

A Compositional Framework for On-the-Fly LTLf Synthesis
von: Li, Yongkang, et al.
Veröffentlicht: (2025)

LTLf Synthesis Under Unreliable Input
von: Hagemeier, Christian, et al.
Veröffentlicht: (2024)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
von: Aminof, Benjamin, et al.
Veröffentlicht: (2024)

Engineering an LTLf Synthesis Tool
von: Duret-Lutz, Alexandre, et al.
Veröffentlicht: (2025)

Learning to Coordinate without Communication under Incomplete Information
von: Chen, Shenghui, et al.
Veröffentlicht: (2024)

The Trembling-Hand Problem for LTLf Planning
von: Yu, Pian, et al.
Veröffentlicht: (2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
von: Ielo, Antonio, et al.
Veröffentlicht: (2024)

Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
von: Khan, Shakil M., et al.
Veröffentlicht: (2024)

Nondeterministic Causal Models
von: Beckers, Sander
Veröffentlicht: (2024)

T-ILR: a Neurosymbolic Integration for LTLf
von: Andreoni, Riccardo, et al.
Veröffentlicht: (2025)

Actual Causation and Nondeterministic Causal Models
von: Beckers, Sander
Veröffentlicht: (2025)

Computing unsatisfiable cores for LTLf specifications
von: Roveri, Marco, et al.
Veröffentlicht: (2022)

Large Language Models as Nondeterministic Causal Models
von: Beckers, Sander
Veröffentlicht: (2025)

Multi-Property Synthesis
von: Weinhuber, Christoph, et al.
Veröffentlicht: (2026)

VNet: A GAN-based Multi-Tier Discriminator Network for Speech Synthesis Vocoders
von: Cao, Yubing, et al.
Veröffentlicht: (2024)

Adaptive Wizard for Removing Cross-Tier Misconfigurations in Active Directory
von: Ngo, Huy Q., et al.
Veröffentlicht: (2025)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
von: Cecconi, Alessio, et al.
Veröffentlicht: (2023)

On-the-fly LTLf Synthesis under Partial Observability
von: Alon, Nadav, et al.
Veröffentlicht: (2026)

Nondeterministic Polynomial-time Problem Challenge: An Ever-Scaling Reasoning Benchmark for LLMs
von: Yang, Chang, et al.
Veröffentlicht: (2025)

Planning as Goal Recognition: Deriving Heuristics from Intention Models -- Extended Version
von: Rosa, Giacomo, et al.
Veröffentlicht: (2026)

Tiered Agentic Oversight: A Hierarchical Multi-Agent System for Healthcare Safety
von: Kim, Yubin, et al.
Veröffentlicht: (2025)

Optimizing Multi-Tier Supply Chain Ordering with LNN+XGBoost: Mitigating the Bullwhip Effect
von: Tong, Chunan
Veröffentlicht: (2025)

Curriculum-Based Multi-Tier Semantic Exploration via Deep Reinforcement Learning
von: Drid, Abdel Hakim, et al.
Veröffentlicht: (2025)

Goal Exploration via Adaptive Skill Distribution for Goal-Conditioned Reinforcement Learning
von: Wu, Lisheng, et al.
Veröffentlicht: (2024)

Agentic Lybic: Multi-Agent Execution System with Tiered Reasoning and Orchestration
von: Guo, Liangxuan, et al.
Veröffentlicht: (2025)

From Lossy to Verified: A Provenance-Aware Tiered Memory for Agents
von: Zhu, Qiming, et al.
Veröffentlicht: (2026)

Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
von: Abate, Alessandro, et al.
Veröffentlicht: (2026)

Asynchronous Verified Semantic Caching for Tiered LLM Architectures
von: Singh, Asmit Kumar, et al.
Veröffentlicht: (2026)

Goal-Conditioned Decision Transformer for Multi-Goal Offline Reinforcement Learning
von: Gajewski, Paweł, et al.
Veröffentlicht: (2024)

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
von: De Giacomo, Giuseppe, et al.
Veröffentlicht: (2025)

Dense and Diverse Goal Coverage in Multi Goal Reinforcement Learning
von: Singh, Sagalpreet, et al.
Veröffentlicht: (2025)

$(ε, u)$-Adaptive Regret Minimization in Heavy-Tailed Bandits
von: Genalti, Gianmarco, et al.
Veröffentlicht: (2023)

GDAIP: A Graph-Based Domain Adaptive Framework for Individual Brain Parcellation
von: Zhu, Jianfei, et al.
Veröffentlicht: (2025)

Formal Foundations of Agentic Business Process Management
von: De Giacomo, Giuseppe, et al.
Veröffentlicht: (2026)