:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	De Giacomo, Giuseppe, Lespérance, Yves, Parretti, Gianmarco, Patrizi, Fabio, Vardi, Moshe Y.
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2603.01201
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains
by: De Giacomo, Giuseppe, et al.
Published: (2025)

Computational Grounding of Responsibility Attribution and Anticipation in LTLf
by: De Giacomo, Giuseppe, et al.
Published: (2024)

LTLf Synthesis Under Unreliable Input
by: Hagemeier, Christian, et al.
Published: (2024)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
by: Aminof, Benjamin, et al.
Published: (2024)

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

Engineering an LTLf Synthesis Tool
by: Duret-Lutz, Alexandre, et al.
Published: (2025)

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

Abstracting Situation Calculus Action Theories
by: Banihashemi, Bita, et al.
Published: (2024)

Multi-Property Synthesis
by: Weinhuber, Christoph, et al.
Published: (2026)

The Trembling-Hand Problem for LTLf Planning
by: Yu, Pian, et al.
Published: (2024)

Optimal LTLf Synthesis
by: Cao, Yujian, et al.
Published: (2026)

Using Large Language Models for Abstraction of Planning Domains - Extended Version
by: Banihashemi, Bita, et al.
Published: (2025)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
by: Ielo, Antonio, et al.
Published: (2024)

On-the-fly LTLf Synthesis under Partial Observability
by: Alon, Nadav, et al.
Published: (2026)

TIDE: A Trace-Informed Depth-First Exploration for Planning with Temporally Extended Goals
by: Suprun, Yuliia, et al.
Published: (2026)

Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
by: Khan, Shakil M., et al.
Published: (2024)

A Compositional Framework for On-the-Fly LTLf Synthesis
by: Li, Yongkang, et al.
Published: (2025)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
by: Xiao, Shengping, et al.
Published: (2024)

Model-Based Reinforcement Learning in Discrete-Action Non-Markovian Reward Decision Processes
by: Trapasso, Alessandro, et al.
Published: (2025)

T-ILR: a Neurosymbolic Integration for LTLf
by: Andreoni, Riccardo, et al.
Published: (2025)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
by: Hofmann, Till, et al.
Published: (2024)

Computing unsatisfiable cores for LTLf specifications
by: Roveri, Marco, et al.
Published: (2022)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
by: Zhang, Zhiwei, et al.
Published: (2025)

Encoding Reusable Multi-Robot Planning Strategies as Abstract Hypergraphs
by: Elimelech, Khen, et al.
Published: (2024)

Extending CDCL-based Model Enumeration with Weights
by: Spallitta, Giuseppe, et al.
Published: (2026)

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

A Slices Perspective for Incremental Nonparametric Inference in High Dimensional State Spaces
by: Shienman, Moshe, et al.
Published: (2024)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
by: Lin, Yi, et al.
Published: (2025)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
by: Cecconi, Alessio, et al.
Published: (2023)

Fragile Preferences: A Deep Dive Into Order Effects in Large Language Models
by: Yin, Haonan, et al.
Published: (2025)

Incremental XAI: Memorable Understanding of AI with Incremental Explanations
by: Bo, Jessica Y., et al.
Published: (2024)

Learning to Coordinate without Communication under Incomplete Information
by: Chen, Shenghui, et al.
Published: (2024)

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
by: De Giacomo, Giuseppe, et al.
Published: (2025)

Formal Foundations of Agentic Business Process Management
by: De Giacomo, Giuseppe, et al.
Published: (2026)

Explain the Black Box for the Sake of Science: the Scientific Method in the Era of Generative Artificial Intelligence
by: Mengaldo, Gianmarco
Published: (2024)

Taxonomic Reasoning for Rare Arthropods: Combining Dense Image Captioning and RAG for Interpretable Classification
by: Lesperance, Nathaniel, et al.
Published: (2025)

Best-Effort Policies for Robust Markov Decision Processes
by: Abate, Alessandro, et al.
Published: (2025)

ODYN: An All-Shifted Non-Interior-Point Method for Quadratic Programming in Robotics and AI
by: Rojas, Jose, et al.
Published: (2026)

The Practimum-Optimum Algorithm for Manufacturing Scheduling: A Paradigm Shift Leading to Breakthroughs in Scale and Performance
by: BenBassat, Moshe
Published: (2024)

Computing Short SAT Implicants via Ising/QUBO Encodings
by: Spallitta, Giuseppe, et al.
Published: (2026)