Copertina

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ahmad, Faseeh, Erdem, Esra, Patoglu, Volkan
Natura:	Preprint
Pubblicazione:	2019
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

ReAct! An Interactive Tool for Hybrid Planning in Robotics
di: Dogmus, Zeynep, et al.
Pubblicazione: (2013)

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

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

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

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

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

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

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

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

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

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

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
di: Liu, Qi, et al.
Pubblicazione: (2025)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
di: Itoh, Kei
Pubblicazione: (2025)

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

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

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
di: Xu, Jianfeng
Pubblicazione: (2025)

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

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
di: Kasibatla, Saketh Ram, et al.
Pubblicazione: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
di: Howlader, Prosenjit, et al.
Pubblicazione: (2025)

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)

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)

Solving Formal Math Problems by Decomposition and Iterative Reflection
di: Zhou, Yichi, et al.
Pubblicazione: (2025)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
di: Päßler, Juliane, et al.
Pubblicazione: (2023)

On Formally Undecidable Traits of Intelligent Machines
di: Fox, Matthew
Pubblicazione: (2024)

Formally Certified Approximate Model Counting
di: Tan, Yong Kiam, et al.
Pubblicazione: (2024)

Rational Inference in Formal Concept Analysis
di: Carr, Lucas, et al.
Pubblicazione: (2025)

Formally Verified Approximate Policy Iteration
di: Schäffeler, Maximilian, et al.
Pubblicazione: (2024)

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

A Theory of Formalisms for Representing Knowledge
di: Zhang, Heng, et al.
Pubblicazione: (2024)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
di: Foldvik, Simon
Pubblicazione: (2026)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
di: Kim, Chang-Eop
Pubblicazione: (2024)

A Neurosymbolic Approach to Natural Language Formalization and Verification
di: Bayless, Sam, et al.
Pubblicazione: (2025)