Cover Image

Integrating Explanations in Learning LTL Specifications from Demonstrations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gupta, Ashutosh, Komp, John, Rajput, Abhay Singh, Shankaranarayanan, Krishna, Trivedi, Ashutosh, Varshney, Namrita
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence I.2.8
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Anticipating Oblivious Opponents in Stochastic Games
by: Kalat, Shadi Tasdighi, et al.
Published: (2024)

Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning
by: Le, Nguyen Cong Nhat, et al.
Published: (2026)

Requirements for Recognition and Rapid Response to Unfamiliar Events Outside of Agent Design Scope
by: Wray, Robert E., et al.
Published: (2025)

Learning to Select Goals in Automated Planning with Deep-Q Learning
by: Núñez-Molina, Carlos, et al.
Published: (2024)

Planning with affordances: Integrating learned affordance models and symbolic planning
by: Mangannavar, Rajesh
Published: (2025)

Comprehensive Taxonomies of Nature- and Bio-inspired Optimization: Inspiration versus Algorithmic Behavior, Critical Analysis and Recommendations (from 2020 to 2024)
by: Molina, Daniel, et al.
Published: (2020)

Sketch Decompositions for Classical Planning via Deep Reinforcement Learning
by: Aichmüller, Michael, et al.
Published: (2024)

NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems
by: Núñez-Molina, Carlos, et al.
Published: (2023)

A Parallel Hybrid Action Space Reinforcement Learning Model for Real-world Adaptive Traffic Signal Control
by: Wang, Yuxuan, et al.
Published: (2025)

HTN Plan Repair Algorithms Compared: Strengths and Weaknesses of Different Methods
by: Zaidins, Paul, et al.
Published: (2025)

On inferring cumulative constraints
by: Sidorov, Konstantin
Published: (2026)

Calculating Ultra-Strong and Extended Solutions for Nine Men's Morris, Morabaraba, and Lasker Morris
by: Gévay, Gábor E., et al.
Published: (2014)

Project Patti: Why can You Solve Diabolical Puzzles on one Sudoku Website but not Easy Puzzles on another Sudoku Website?
by: Eisenkolb-Vaithyanathan, Arman
Published: (2025)

Optimization of Activity Batching Policies in Business Processes
by: López-Pintado, Orlenys, et al.
Published: (2025)

VIGIL: A Reflective Runtime for Self-Healing Agents
by: Cruz, Christopher
Published: (2025)

Relevance Score: A Landmark-Like Heuristic for Planning
by: Kim, Oliver, et al.
Published: (2024)

How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization
by: Sidorov, Konstantin, et al.
Published: (2024)

Towards a Unified Framework for Sequential Decision Making
by: Núñez-Molina, Carlos, et al.
Published: (2023)

AEROS: A Single-Agent Operating Architecture with Embodied Capability Modules
by: Qin, Xue, et al.
Published: (2026)

Partially Observable Reference Policy Programming: Solving POMDPs Sans Numerical Optimisation
by: Kim, Edward, et al.
Published: (2025)

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
by: George, Robert Joseph, et al.
Published: (2025)

EduQate: Generating Adaptive Curricula through RMABs in Education Settings
by: Tio, Sidney, et al.
Published: (2024)

TrafficRAG: A Multimodal RAG Framework for Traffic Accident Liability Determination
by: Li, Xu, et al.
Published: (2026)

Reducing Human-Robot Goal State Divergence with Environment Design
by: Sikes, Kelsey, et al.
Published: (2024)

ChatGPT4PCG 2 Competition: Prompt Engineering for Science Birds Level Generation
by: Taveekitworachai, Pittawat, et al.
Published: (2024)

Toward Constraint Compliant Goal Formulation and Planning
by: Jones, Steven J., et al.
Published: (2024)

Constrained Auto-Bidding via Generative Response Modeling
by: Yang, Eunseok, et al.
Published: (2026)

Can Semantic Methods Enhance Team Sports Tactics? A Methodology for Football with Broader Applications
by: Di Rubbo, Alessio, et al.
Published: (2026)

Critical Insights into Leading Conversational AI Models
by: Kohli, Urja, et al.
Published: (2025)

Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis
by: Komp, John, et al.
Published: (2024)

On Using Admissible Bounds for Learning Forward Search Heuristics
by: Núñez-Molina, Carlos, et al.
Published: (2023)

Predicting Future Actions of Reinforcement Learning Agents
by: Chung, Stephen, et al.
Published: (2024)

What Do World Models Learn in RL? Probing Latent Representations in Learned Environment Simulators
by: Zhang, Xinyu
Published: (2026)

Working Paper: Active Causal Structure Learning with Latent Variables: Towards Learning to Detour in Autonomous Robots
by: Riscos, Pablo de los, et al.
Published: (2024)

Safe Reinforcement Learning with Preference-based Constraint Inference
by: Li, Chenglin, et al.
Published: (2026)

Adaptable Hindsight Experience Replay for Search-Based Learning
by: Vazaios, Alexandros, et al.
Published: (2025)

CORE: Towards Scalable and Efficient Causal Discovery with Reinforcement Learning
by: Sauter, Andreas W. M., et al.
Published: (2024)

Differentiable Symbolic Planning: A Neural Architecture for Constraint Reasoning with Learned Feasibility
by: Oruganti, Venkatakrishna Reddy
Published: (2026)

Umbrella Reinforcement Learning -- computationally efficient tool for hard non-linear problems
by: Nuzhin, Egor E., et al.
Published: (2024)

GIRL: Generative Imagination Reinforcement Learning via Information-Theoretic Hallucination Control
by: Hiremath, Prakul Sunil
Published: (2026)