Generalization of Compositional Tasks with Logical Specification via Implicit Planning
Fuente:
arXiv
Salvato in:
| Autori principali: | Xu, Duo, Fekri, Faramarz |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Learning Hidden Subgoals under Temporal Ordering Constraints in Reinforcement Learning
di: Xu, Duo, et al.
Pubblicazione: (2024)
di: Xu, Duo, et al.
Pubblicazione: (2024)
LLM-Augmented Symbolic Reinforcement Learning with Landmark-Based Task Decomposition
di: Kheirandish, Alireza, et al.
Pubblicazione: (2024)
di: Kheirandish, Alireza, et al.
Pubblicazione: (2024)
Integrating Legal and Logical Specifications in Perception, Prediction, and Planning for Automated Driving: A Survey of Methods
di: Manas, Kumar, et al.
Pubblicazione: (2025)
di: Manas, Kumar, et al.
Pubblicazione: (2025)
One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
di: Yang, Xu, et al.
Pubblicazione: (2025)
di: Yang, Xu, et al.
Pubblicazione: (2025)
Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
di: Liu, Ruijia, et al.
Pubblicazione: (2025)
di: Liu, Ruijia, et al.
Pubblicazione: (2025)
Inferring Implicit Goals Across Differing Task Models
di: Tulli, Silvia, et al.
Pubblicazione: (2025)
di: Tulli, Silvia, et al.
Pubblicazione: (2025)
Specification Generation for Neural Networks in Systems
di: Chaudhary, Isha, et al.
Pubblicazione: (2024)
di: Chaudhary, Isha, et al.
Pubblicazione: (2024)
Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
di: Ramirez, Miquel, et al.
Pubblicazione: (2024)
di: Ramirez, Miquel, et al.
Pubblicazione: (2024)
PathWise: Planning through World Model for Automated Heuristic Design via Self-Evolving LLMs
di: Gungordu, Oguzhan, et al.
Pubblicazione: (2026)
di: Gungordu, Oguzhan, et al.
Pubblicazione: (2026)
GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
di: Johnson, Blair, et al.
Pubblicazione: (2025)
di: Johnson, Blair, et al.
Pubblicazione: (2025)
Multi-Task Semantic Communications via Large Models
di: Ni, Wanli, et al.
Pubblicazione: (2025)
di: Ni, Wanli, et al.
Pubblicazione: (2025)
Hereditary Geometric Meta-RL: Nonlocal Generalization via Task Symmetries
di: Nitschke, Paul, et al.
Pubblicazione: (2026)
di: Nitschke, Paul, et al.
Pubblicazione: (2026)
Model Predictive Control-Guided Reinforcement Learning for Implicit Balancing
di: Madahi, Seyed Soroush Karimi, et al.
Pubblicazione: (2025)
di: Madahi, Seyed Soroush Karimi, et al.
Pubblicazione: (2025)
Neural Network-Assisted Model Predictive Control for Implicit Balancing
di: Madahi, Seyed Soroush Karimi, et al.
Pubblicazione: (2026)
di: Madahi, Seyed Soroush Karimi, et al.
Pubblicazione: (2026)
Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
di: Lin, Xiaoshan, et al.
Pubblicazione: (2024)
di: Lin, Xiaoshan, et al.
Pubblicazione: (2024)
Safe Path Planning and Observation Quality Enhancement Strategy for Unmanned Aerial Vehicles in Water Quality Monitoring Tasks
di: Fu, Yuanshuang, et al.
Pubblicazione: (2025)
di: Fu, Yuanshuang, et al.
Pubblicazione: (2025)
Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
di: Hashemi, Navid, et al.
Pubblicazione: (2024)
di: Hashemi, Navid, et al.
Pubblicazione: (2024)
Generalizing Cooperative Eco-driving via Multi-residual Task Learning
di: Jayawardana, Vindula, et al.
Pubblicazione: (2024)
di: Jayawardana, Vindula, et al.
Pubblicazione: (2024)
Robust Pivoting Manipulation using Contact Implicit Bilevel Optimization
di: Shirai, Yuki, et al.
Pubblicazione: (2023)
di: Shirai, Yuki, et al.
Pubblicazione: (2023)
ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
di: Ye, Bowen, et al.
Pubblicazione: (2026)
di: Ye, Bowen, et al.
Pubblicazione: (2026)
Online Location Planning for AI-Defined Vehicles: Optimizing Joint Tasks of Order Serving and Spatio-Temporal Heterogeneous Model Fine-Tuning
di: Zheng, Bokeng, et al.
Pubblicazione: (2025)
di: Zheng, Bokeng, et al.
Pubblicazione: (2025)
Generative Predictive Control: Flow Matching Policies for Dynamic and Difficult-to-Demonstrate Tasks
di: Kurtz, Vince, et al.
Pubblicazione: (2025)
di: Kurtz, Vince, et al.
Pubblicazione: (2025)
CPS-LLM: Large Language Model based Safe Usage Plan Generator for Human-in-the-Loop Human-in-the-Plant Cyber-Physical System
di: Banerjee, Ayan, et al.
Pubblicazione: (2024)
di: Banerjee, Ayan, et al.
Pubblicazione: (2024)
Learning Cyclic Causal Models from Incomplete Data
di: Sethuraman, Muralikrishnna G., et al.
Pubblicazione: (2024)
di: Sethuraman, Muralikrishnna G., et al.
Pubblicazione: (2024)
Robust Stochastic Shortest-Path Planning via Risk-Sensitive Incremental Sampling
di: Enwerem, Clinton, et al.
Pubblicazione: (2024)
di: Enwerem, Clinton, et al.
Pubblicazione: (2024)
Behavioral Generative Agents for Energy Operations
di: Chen, Cong, et al.
Pubblicazione: (2025)
di: Chen, Cong, et al.
Pubblicazione: (2025)
Ontology-Driven Robotic Specification Synthesis
di: Figat, Maksym, et al.
Pubblicazione: (2026)
di: Figat, Maksym, et al.
Pubblicazione: (2026)
Optimizing Task Completion Time Updates Using POMDPs
di: Eddy, Duncan, et al.
Pubblicazione: (2026)
di: Eddy, Duncan, et al.
Pubblicazione: (2026)
Customized User Plane Processing via Code Generating AI Agents for Next Generation Mobile Networks
di: Ma, Xiaowen, et al.
Pubblicazione: (2026)
di: Ma, Xiaowen, et al.
Pubblicazione: (2026)
Fuzzy Model Identification and Self Learning with Smooth Compositions
di: Sadjadi, Ebrahim Navid, et al.
Pubblicazione: (2024)
di: Sadjadi, Ebrahim Navid, et al.
Pubblicazione: (2024)
GUIDEd Agents: Enhancing Navigation Policies through Task-Specific Uncertainty Abstraction in Localization-Limited Environments
di: Puthumanaillam, Gokul, et al.
Pubblicazione: (2024)
di: Puthumanaillam, Gokul, et al.
Pubblicazione: (2024)
Fast networked data selection via distributed smoothed quantile estimation
di: Zhang, Xu, et al.
Pubblicazione: (2024)
di: Zhang, Xu, et al.
Pubblicazione: (2024)
Proactive Distributed Emergency Response with Heterogeneous Tasks Allocation
di: Darko, Justice, et al.
Pubblicazione: (2022)
di: Darko, Justice, et al.
Pubblicazione: (2022)
Hybrid Recurrent Models Support Emergent Descriptions for Hierarchical Planning and Control
di: Collis, Poppy, et al.
Pubblicazione: (2024)
di: Collis, Poppy, et al.
Pubblicazione: (2024)
2-Level Reinforcement Learning for Ships on Inland Waterways: Path Planning and Following
di: Waltz, Martin, et al.
Pubblicazione: (2023)
di: Waltz, Martin, et al.
Pubblicazione: (2023)
Optimized Task Assignment and Predictive Maintenance for Industrial Machines using Markov Decision Process
di: Nasir, Ali, et al.
Pubblicazione: (2024)
di: Nasir, Ali, et al.
Pubblicazione: (2024)
Latency-Aware Resource Allocation for Mobile Edge Generation and Computing via Deep Reinforcement Learning
di: Wu, Yinyu, et al.
Pubblicazione: (2024)
di: Wu, Yinyu, et al.
Pubblicazione: (2024)
S3TS: Stochastic Scenario-Structured Tree Search for Advanced Planning Under Uncertainty
di: Pavirani, Fabio, et al.
Pubblicazione: (2026)
di: Pavirani, Fabio, et al.
Pubblicazione: (2026)
Planning a Community Approach to Diabetes Care in Low- and Middle-Income Countries Using Optimization
di: Adams, Katherine B., et al.
Pubblicazione: (2023)
di: Adams, Katherine B., et al.
Pubblicazione: (2023)
Ant Colony Optimization for Cooperative Inspection Path Planning Using Multiple Unmanned Aerial Vehicles
di: Bui, Duy Nam, et al.
Pubblicazione: (2024)
di: Bui, Duy Nam, et al.
Pubblicazione: (2024)
Documenti analoghi
-
Learning Hidden Subgoals under Temporal Ordering Constraints in Reinforcement Learning
di: Xu, Duo, et al.
Pubblicazione: (2024) -
LLM-Augmented Symbolic Reinforcement Learning with Landmark-Based Task Decomposition
di: Kheirandish, Alireza, et al.
Pubblicazione: (2024) -
Integrating Legal and Logical Specifications in Perception, Prediction, and Planning for Automated Driving: A Survey of Methods
di: Manas, Kumar, et al.
Pubblicazione: (2025) -
One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
di: Yang, Xu, et al.
Pubblicazione: (2025) -
Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
di: Liu, Ruijia, et al.
Pubblicazione: (2025)