:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Margapuri, Venkat, Kazanjian, Garik, Kosaraju, Naren
Format:	Preprint
Published:	2025
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2509.20093
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PEPS: Quantum-Inspired Reinforcement Learning for Coherent Reasoning Traces in LLMs
by: Margapuri, Venkat, et al.
Published: (2025)

Prompt Informed Reinforcement Learning for Visual Coverage Path Planning
by: Margapuri, Venkat
Published: (2025)

Predicting Mortality and Functional Status Scores of Traumatic Brain Injury Patients using Supervised Machine Learning
by: Steinmetz, Lucas, et al.
Published: (2024)

SHIELD: Safety on Humanoids via CBFs In Expectation on Learned Dynamics
by: Yang, Lizhi, et al.
Published: (2025)

Diagnosis and Severity Assessment of Ulcerative Colitis using Self Supervised Learning
by: Margapuri, Venkat
Published: (2024)

Force-Compliance MPC and Robot-User CBFs for Interactive Navigation and User-Robot Safety in Hexapod Guide Robots
by: Fan, Zehua, et al.
Published: (2025)

Embedding Semantic Risk into Distance Fields and CBFs for Online Monocular Safe Control
by: Zhang, Dawei, et al.
Published: (2026)

Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles
by: Samak, Chinmay Vilas, et al.
Published: (2023)

Multi-Agent Path Finding Among Dynamic Uncontrollable Agents with Statistical Safety Guarantees
by: Strawn, Kegan J., et al.
Published: (2025)

Long-Horizon Geometry-Aware Navigation among Polytopes via MILP-MPC and Minkowski-Based CBFs
by: Chen, Yi-Hsuan, et al.
Published: (2026)

Safety Guaranteed Robust Multi-Agent Reinforcement Learning with Hierarchical Control for Connected and Automated Vehicles
by: Zhang, Zhili, et al.
Published: (2023)

Seed Kernel Counting using Domain Randomization and Object Tracking Neural Networks
by: Margapuri, Venkat, et al.
Published: (2023)

Leaf Angle Estimation using Mask R-CNN and LETR Vision Transformer
by: Margapuri, Venkat, et al.
Published: (2024)

Mixed-Reality Digital Twins: Leveraging the Physical and Virtual Worlds for Hybrid Sim2Real Transition of Multi-Agent Reinforcement Learning Policies
by: Samak, Chinmay Vilas, et al.
Published: (2024)

A Computationally Aware Multi Objective Framework for Camera LiDAR Calibration
by: Karramreddy, Venkat, et al.
Published: (2025)

Safety Meets Speed: Accelerated Neural MPC with Safety Guarantees and No Retraining
by: Wang, Kaikai, et al.
Published: (2025)

Bayesian Safety Guarantees for Port-Hamiltonian Systems with Learned Energy Functions
by: Leung, Chi Ho, et al.
Published: (2025)

Case Study: Runtime Safety Verification of Neural Network Controlled System
by: Yang, Frank, et al.
Published: (2024)

Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees
by: Madabushi, Varun, et al.
Published: (2026)

Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
by: Barhoumi, Oumaima, et al.
Published: (2026)

Rule-Based Lloyd Algorithm for Multi-Robot Motion Planning and Control with Safety and Convergence Guarantees
by: Boldrer, Manuel, et al.
Published: (2023)

Time-Optimal Path Tracking with ISO Safety Guarantees
by: Fujii, Shohei, et al.
Published: (2023)

Learning Complex Motion Plans using Neural ODEs with Safety and Stability Guarantees
by: Nawaz, Farhad, et al.
Published: (2023)

Fast Path Planning for Autonomous Vehicle Parking with Safety-Guarantee using Hamilton-Jacobi Reachability
by: Chi, Xuemin, et al.
Published: (2023)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
by: Mazouz, Rayan, et al.
Published: (2022)

gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments
by: Agrawal, Devansh R, et al.
Published: (2022)

Accelerated Spline-Based Time-Optimal Motion Planning with Continuous Safety Guarantees for Non-Differentially Flat Systems
by: Dirckx, Dries, et al.
Published: (2026)

Towards Fast and Safety-Guaranteed Trajectory Planning and Tracking for Time-Varying Systems
by: Siriya, Seth, et al.
Published: (2024)

Density-Driven Optimal Control: Convergence Guarantees for Stochastic LTI Multi-Agent Systems
by: Lee, Kooktae
Published: (2026)

Robust Perception-Based Navigation using PAC-NMPC with a Learned Value Function
by: Polevoy, Adam, et al.
Published: (2023)

Quadrotor Stabilization with Safety Guarantees: A Universal Formula Approach
by: Li, Ming, et al.
Published: (2024)

Towards Sim2Real Transfer of Autonomy Algorithms using AutoDRIVE Ecosystem
by: Samak, Chinmay Vilas, et al.
Published: (2023)

MultiTalk: Introspective and Extrospective Dialogue for Human-Environment-LLM Alignment
by: Devarakonda, Venkata Naren, et al.
Published: (2024)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
by: Omidi, Saber, et al.
Published: (2025)

Towards Validation of Autonomous Vehicles Across Scales using an Integrated Digital Twin Framework
by: Samak, Tanmay Vilas, et al.
Published: (2024)

Digital Twins in the Cloud: A Modular, Scalable and Interoperable Framework for Accelerating Verification and Validation of Autonomous Driving Solutions
by: Samak, Tanmay Vilas, et al.
Published: (2025)

A Systematic Digital Engineering Approach to Verification & Validation of Autonomous Ground Vehicles in Off-Road Environments
by: Samak, Tanmay Vilas, et al.
Published: (2025)

Metaverse for Safer Roadways: An Immersive Digital Twin Framework for Exploring Human-Autonomy Coexistence in Urban Transportation Systems
by: Samak, Tanmay Vilas, et al.
Published: (2024)

Stabilization of vertical motion of a vehicle on bumpy terrain using deep reinforcement learning
by: Salvi, Ameya, et al.
Published: (2024)

Limiting Computation Levels in Prioritized Trajectory Planning with Safety Guarantees
by: Xu, Jianye, et al.
Published: (2024)