Cover Image

Verification of Visual Controllers via Compositional Geometric Transformations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Estornell, Alexander, Jung, Leonard, Everett, Michael
Format:	Preprint
Published:	2025
Subjects:	Robotics Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Contingency Constrained Planning with MPPI within MPPI
by: Jung, Leonard, et al.
Published: (2024)

Learning Verifiable Control Policies Using Relaxed Verification
by: Chaudhury, Puja, et al.
Published: (2025)

Practical and Performant Enhancements for Maximization of Algebraic Connectivity
by: Jung, Leonard, et al.
Published: (2025)

Approximating Safety Feedback Without a Safety Oracle via Model Predictive Control
by: Pflueger, Jeff, et al.
Published: (2025)

Collision Avoidance Verification of Multiagent Systems with Learned Policies
by: Dong, Zihao, et al.
Published: (2024)

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
by: Watson, Christopher, et al.
Published: (2025)

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
by: Cai, Feiyang, et al.
Published: (2024)

Real-Time Adaptive Motion Planning via Point Cloud-Guided, Energy-Based Diffusion and Potential Fields
by: Teshome, Wondmgezahu, et al.
Published: (2025)

ClevrSkills: Compositional Language and Visual Reasoning in Robotics
by: Haresh, Sanjay, et al.
Published: (2024)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
by: Lin, Albert, et al.
Published: (2025)

Iterative Compositional Data Generation for Robot Control
by: Pham, Anh-Quan, et al.
Published: (2025)

Geometric Contact Flows: Contactomorphisms for Dynamics and Control
by: Testa, Andrea, et al.
Published: (2025)

Quantization-Free Autoregressive Action Transformer
by: Sheebaelhamd, Ziyad, et al.
Published: (2025)

scipy.spatial.transform: Differentiable Framework-Agnostic 3D Transformations in Python
by: Schuck, Martin, et al.
Published: (2025)

Real-World Fluid Directed Rigid Body Control via Deep Reinforcement Learning
by: Bhardwaj, Mohak, et al.
Published: (2024)

Grasp-MPC: Closed-Loop Visual Grasping via Value-Guided Model Predictive Control
by: Yamada, Jun, et al.
Published: (2025)

SCRAMPPI: Efficient Contingency Planning for Mobile Robot Navigation via Hamilton-Jacobi Reachability
by: Srirangam, Raj Harshit, et al.
Published: (2026)

Controllable Motion Generation via Diffusion Modal Coupling
by: Wang, Luobin, et al.
Published: (2025)

Robot Arm Control via Cognitive Map Learners
by: McDonald, Nathan, et al.
Published: (2026)

Robotic Control via Embodied Chain-of-Thought Reasoning
by: Zawalski, Michał, et al.
Published: (2024)

BiAssemble: Learning Collaborative Affordance for Bimanual Geometric Assembly
by: Shen, Yan, et al.
Published: (2025)

Lyapunov Stability Learning with Nonlinear Control via Inductive Biases
by: Lu, Yupu, et al.
Published: (2025)

Controllable Collision Scenario Generation via Collision Pattern Prediction
by: Chen, Pin-Lun, et al.
Published: (2025)

Controllable Generative Trajectory Prediction via Weak Preference Alignment
by: Cao, Yongxi, et al.
Published: (2025)

MeMo: Meaningful, Modular Controllers via Noise Injection
by: Tjandrasuwita, Megan, et al.
Published: (2024)

Adaptive Outer-Loop Control of Quadrotors via Reinforcement Learning
by: Saj, Vishnu, et al.
Published: (2026)

Dual Online Stein Variational Inference for Control and Dynamics
by: Barcelos, Lucas, et al.
Published: (2021)

AugInsert: Learning Robust Visual-Force Policies via Data Augmentation for Object Assembly Tasks
by: Diaz, Ryan, et al.
Published: (2024)

Stability Enhancement in Reinforcement Learning via Adaptive Control Lyapunov Function
by: Chen, Donghe, et al.
Published: (2025)

Learning Hip Exoskeleton Control Policy via Predictive Neuromusculoskeletal Simulation
by: Park, Ilseung, et al.
Published: (2026)

MUVO: A Multimodal Generative World Model for Autonomous Driving with Geometric Representations
by: Bogdoll, Daniel, et al.
Published: (2023)

Hybrid Machine Learning Model with a Constrained Action Space for Trajectory Prediction
by: Fertig, Alexander, et al.
Published: (2025)

Compose Your Policies! Improving Diffusion-based or Flow-based Robot Policies via Test-time Distribution-level Composition
by: Cao, Jiahang, et al.
Published: (2025)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Scalable Exploration for High-Dimensional Continuous Control via Value-Guided Flow
by: Wei, Yunyue, et al.
Published: (2026)

Deep-Learning Control of Lower-Limb Exoskeletons via simplified Therapist Input
by: Vianello, Lorenzo, et al.
Published: (2024)

Imitation Learning with Limited Actions via Diffusion Planners and Deep Koopman Controllers
by: Bi, Jianxin, et al.
Published: (2024)

Semantic-Geometric Task Representations for Bimanual Manipulation from Human Demonstrations to Robot Action Planning
by: Herbert, Franziska, et al.
Published: (2026)

Efficient Automatic Tuning for Data-driven Model Predictive Control via Meta-Learning
by: Li, Baoyu, et al.
Published: (2024)

Quantum-Inspired Episode Selection for Monte Carlo Reinforcement Learning via QUBO Optimization
by: Salloum, Hadi, et al.
Published: (2026)