Cover Image

Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Manganaris, Anastasios, Giammarino, Vittorio, Qureshi, Ahmed H., Jagannathan, Suresh
Format:	Preprint
Published:	2026
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automaton Constrained Q-Learning
by: Manganaris, Anastasios, et al.
Published: (2025)

Physics-informed Goal-Conditioned Reinforcement Learning under Hybrid Contact Dynamics
by: Giammarino, Vittorio, et al.
Published: (2026)

Graph-of-Constraints Model Predictive Control for Reactive Multi-agent Task and Motion Planning
by: Manganaris, Anastasios, et al.
Published: (2026)

Goal Reaching with Eikonal-Constrained Hierarchical Quasimetric Reinforcement Learning
by: Giammarino, Vittorio, et al.
Published: (2025)

Robust Point Cloud Reinforcement Learning via PCA-Based Canonicalization
by: Bezick, Michael, et al.
Published: (2025)

Online Hierarchical Policy Learning using Physics Priors for Robot Navigation in Unknown Environments
by: Chen, Wei Han, et al.
Published: (2025)

Physics-informed Value Learner for Offline Goal-Conditioned Reinforcement Learning
by: Giammarino, Vittorio, et al.
Published: (2025)

Manipulating Neural Path Planners via Slight Perturbations
by: Xiong, Zikang, et al.
Published: (2024)

A Framework for Learning Scoring Rules in Autonomous Driving Planning Systems
by: Xiong, Zikang, et al.
Published: (2025)

Manip4Care: Robotic Manipulation of Human Limbs for Solving Assistive Tasks
by: Koh, Yubin, et al.
Published: (2025)

Revisiting Formal Methods for Autonomous Robots: A Structured Survey
by: Azaiez, Atef, et al.
Published: (2025)

Implicit Physics-aware Policy for Dynamic Manipulation of Rigid Objects via Soft Body Tools
by: Wang, Zixing, et al.
Published: (2025)

Neural Rearrangement Planning for Object Retrieval from Confined Spaces Perceivable by Robot's In-hand RGB-D Sensor
by: Ren, Hanwen, et al.
Published: (2024)

Cross--layer Formal Verification of Robotic Systems
by: Raïs, Sylvain, et al.
Published: (2024)

Physics-informed Temporal Difference Metric Learning for Robot Motion Planning
by: Ni, Ruiqi, et al.
Published: (2025)

Differentiable Composite Neural Signed Distance Fields for Robot Navigation in Dynamic Indoor Environments
by: Bukhari, S. Talha, et al.
Published: (2025)

DeRi-Bot: Learning to Collaboratively Manipulate Rigid Objects via Deformable Objects
by: Wang, Zixing, et al.
Published: (2023)

NeHMO: Neural Hamilton-Jacobi Reachability Learning for Decentralized Safe Multi-Agent Motion Planning
by: Chen, Qingyi, et al.
Published: (2025)

DeRi-IGP: Learning to Manipulate Rigid Objects Using Deformable Objects via Iterative Grasp-Pull
by: Wang, Zixing, et al.
Published: (2023)

PPGuide: Steering Diffusion Policies with Performance Predictive Guidance
by: Wang, Zixing, et al.
Published: (2026)

LiDAR for Rehabilitation: A Comprehensive Survey of Applications, AI Techniques, and Future Directions
by: Siyoucef, Soumia, et al.
Published: (2026)

Beyond Domain Randomization: Event-Inspired Perception for Visually Robust Adversarial Imitation from Videos
by: Ramazzina, Andrea, et al.
Published: (2025)

Human-Robot Collaboration: A Non-Verbal Approach with the NAO Humanoid Robot
by: Qureshi, Maaz, et al.
Published: (2025)

Weakly-supervised Learning for Physics-informed Neural Motion Planning via Sparse Roadmap
by: Ni, Ruiqi, et al.
Published: (2026)

Where-to-Learn: Analytical Policy Gradient Directed Exploration for On-Policy Robotic Reinforcement Learning
by: Chang, Leixin, et al.
Published: (2026)

Multi-Stage Monte Carlo Tree Search for Non-Monotone Object Rearrangement Planning in Narrow Confined Environments
by: Ren, Hanwen, et al.
Published: (2023)

Inertial Navigation Meets Deep Learning: A Survey of Current Trends and Future Directions
by: Cohen, Nadav, et al.
Published: (2023)

Multimodal Human-Intent Modeling for Contextual Robot-to-Human Handovers of Arbitrary Objects
by: Chen, Lucas, et al.
Published: (2025)

Quality Diversity for Robot Learning: Limitations and Future Directions
by: Batra, Sumeet, et al.
Published: (2024)

Foundation Models in Robotics: A Comprehensive Review of Methods, Models, Datasets, Challenges and Future Research Directions
by: Psiris, Aggelos, et al.
Published: (2026)

Security Considerations in AI-Robotics: A Survey of Current Methods, Challenges, and Opportunities
by: Neupane, Subash, et al.
Published: (2023)

Physics-informed Neural Motion Planning on Constraint Manifolds
by: Ni, Ruiqi, et al.
Published: (2024)

Physics-Conditioned Grasping for Stable Tool Use
by: Trupin, Noah, et al.
Published: (2025)

Integrating Active Sensing and Rearrangement Planning for Efficient Object Retrieval from Unknown, Confined, Cluttered Environments
by: Kim, Junyong, et al.
Published: (2024)

Physics-informed Neural Time Fields for Prehensile Object Manipulation
by: Ren, Hanwen, et al.
Published: (2025)

Language-guided Active Sensing of Confined, Cluttered Environments via Object Rearrangement Planning
by: Chen, Weihan, et al.
Published: (2024)

Physics-informed Neural Mapping and Motion Planning in Unknown Environments
by: Liu, Yuchen, et al.
Published: (2024)

ROVER: Regulator-Driven Robust Temporal Verification of Black-Box Robot Policies
by: Sakano, Kristy, et al.
Published: (2025)

A Survey on Socially Aware Robot Navigation: Taxonomy and Future Challenges
by: Singamaneni, Phani Teja, et al.
Published: (2023)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)