Venkat Margapuri

collaborators

Showing cs.ROShow all

2 papers · 1 filter

cs.RO2025

Hybrid Safety Verification of Multi-Agent Systems using $I ¨ $ -Weighted CBFs and PAC Guarantees

Venkat Margapuri, Garik Kazanjian, Naren Kosaraju

This study proposes a hybrid safety verification framework for closed-loop multi-agent systems under bounded stochastic disturbances. The proposed approach augments control barrier…

cs.RO2025

Prompt Informed Reinforcement Learning for Visual Coverage Path Planning

Venkat Margapuri

Visual coverage path planning with unmanned aerial vehicles (UAVs) requires agents to strategically coordinate UAV motion and camera control to maximize coverage, minimize redundan…

Hybrid Safety Verification of Multi-Agent Systems using I¨-Weighted CBFs and PAC Guarantees

Prompt Informed Reinforcement Learning for Visual Coverage Path Planning

Hybrid Safety Verification of Multi-Agent Systems using $I ¨ $ -Weighted CBFs and PAC Guarantees