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

Documenti analoghi

• Automaton Constrained Q-Learning
  di: Manganaris, Anastasios, et al.
  Pubblicazione: (2025)
• Physics-informed Goal-Conditioned Reinforcement Learning under Hybrid Contact Dynamics
  di: Giammarino, Vittorio, et al.
  Pubblicazione: (2026)
• Graph-of-Constraints Model Predictive Control for Reactive Multi-agent Task and Motion Planning
  di: Manganaris, Anastasios, et al.
  Pubblicazione: (2026)
• Goal Reaching with Eikonal-Constrained Hierarchical Quasimetric Reinforcement Learning
  di: Giammarino, Vittorio, et al.
  Pubblicazione: (2025)
• Robust Point Cloud Reinforcement Learning via PCA-Based Canonicalization
  di: Bezick, Michael, et al.
  Pubblicazione: (2025)