Copertina

ReAct! An Interactive Tool for Hybrid Planning in Robotics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dogmus, Zeynep, Erdem, Esra, Patoglu, Volkan
Natura:	Preprint
Pubblicazione:	2013
Soggetti:	Artificial Intelligence Logic in Computer Science Robotics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
di: Ahmad, Faseeh, et al.
Pubblicazione: (2019)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
di: Rizwan, Momina, et al.
Pubblicazione: (2020)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
di: Xu, Shaojun, et al.
Pubblicazione: (2024)

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
di: Fidan, Müge, et al.
Pubblicazione: (2025)

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
di: Meli, Daniele, et al.
Pubblicazione: (2025)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
di: Luckcuck, Matt, et al.
Pubblicazione: (2025)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
di: Balakrishnan, Anand, et al.
Pubblicazione: (2022)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
di: Luckcuck, Matt, et al.
Pubblicazione: (2024)

Human-in-the-Loop Pareto Optimization: Trade-off Characterization for Assist-as-Needed Training and Performance Evaluation
di: Tolasa, Harun, et al.
Pubblicazione: (2026)

Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies
di: Rahmani, Hazhar, et al.
Pubblicazione: (2024)

Ontological foundations for contrastive explanatory narration of robot plans
di: Olivares-Alarcos, Alberto, et al.
Pubblicazione: (2025)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
di: Chang, Kevin Kai-Chun, et al.
Pubblicazione: (2026)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
di: Cornelio, Cristina, et al.
Pubblicazione: (2024)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2021)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
di: Ho, Qi Heng, et al.
Pubblicazione: (2024)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
di: Zhang, Changjian, et al.
Pubblicazione: (2024)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
di: Zhang, Maifang, et al.
Pubblicazione: (2026)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
di: Meng, Yue, et al.
Pubblicazione: (2025)

Shield Synthesis for LTL Modulo Theories
di: Rodriguez, Andoni, et al.
Pubblicazione: (2024)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
di: Meng, Yue, et al.
Pubblicazione: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
di: Lin, Yuanfei, et al.
Pubblicazione: (2022)

UAV-CodeAgents: Scalable UAV Mission Planning via Multi-Agent ReAct and Vision-Language Reasoning
di: Sautenkov, Oleg, et al.
Pubblicazione: (2025)

Haptic Rendering of Fractional-Order Viscoelasticity: Passivity and Rendering Fidelity
di: Gemalmaz, Gorkem, et al.
Pubblicazione: (2026)

Counterfactual Explanations as Plans
di: Belle, Vaishak
Pubblicazione: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
di: Ramani, Keshav, et al.
Pubblicazione: (2025)

Optimal Planning for Timed Partial Order Specifications
di: Watanabe, Kandai, et al.
Pubblicazione: (2024)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
di: Averkov, Daniil, et al.
Pubblicazione: (2024)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
di: Chen, Chen, et al.
Pubblicazione: (2025)

An Undecidability Proof for the Plan Existence Problem
di: Achilleos, Antonis
Pubblicazione: (2026)

Decentralized Planning Using Probabilistic Hyperproperties
di: Pontiggia, Francesco, et al.
Pubblicazione: (2025)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
di: Qureshi, Haya Majid, et al.
Pubblicazione: (2024)

Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving
di: Xu, Yuejiao, et al.
Pubblicazione: (2024)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
di: Dhonthi, Akshay, et al.
Pubblicazione: (2024)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
di: Yamaguchi, Tomoya, et al.
Pubblicazione: (2025)

Efficient Dynamic Shielding for Parametric Safety Specifications
di: Corsi, Davide, et al.
Pubblicazione: (2025)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
di: So, Oswin, et al.
Pubblicazione: (2026)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
di: Sharifi, Iman, et al.
Pubblicazione: (2023)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2025)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
di: Wang, David, et al.
Pubblicazione: (2025)

Hybrid Answer Set Programming: Foundations and Applications
di: Rühling, Nicolas
Pubblicazione: (2025)