activity
20142026
most citedMining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems

52 citations · 201 across the 50 of their papers we have counts for

collaborators
Showing 2025 · cs.ROShow all

8 papers · 2 filters

cs.RO2025

Safe Model Predictive Diffusion with Shielding

Taekyung Kim, Keyvan Majd, Hideki Okamoto +3

Generating safe, kinodynamically feasible, and optimal trajectories for complex robotic systems is a central challenge in robotics. This paper presents Safe Model Predictive Diffus…

cs.RO2025

Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0

Yan Miao, Ege Yuceel, Georgios Fainekos +3

Visual policy design is crucial for aerial navigation. However, state-of-the-art visual policies often overfit to a single track and their performance degrades when track geometry…

cs.RO2025

FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs

Nicole Fronda, Bardh Hoxha, Houssam Abbas

We propose injecting notions of fairness into multi-robot motion planning. When robots have competing interests, it is important to optimize for some kind of fairness in their usag…

cs.RO2025

Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility

Nicole Fronda, Phil Smith, Bardh Hoxha +2

Urban Air Mobility (UAM) is an emerging transportation paradigm in which Uncrewed Aerial Systems (UAS) autonomously transport passengers and goods in cities. The UAS have different…

cs.RO2025

GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems

Keyvan Majd, Hardik Parwana, Bardh Hoxha +3

Articulated vehicles such as tractor-trailers, yard trucks, and similar platforms must often reverse and maneuver in cluttered spaces where pedestrians are present. We present how…

cs.RO2025

BR-MPPI: Barrier-Rate Guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Fields

Hardik Parwana, Taekyung Kim, Kehan Long +4

Model Predictive Path Integral (MPPI) control provides a sampling-based framework for optimal control, while Control Barrier Functions (CBFs) provide a principled means of enforcin…

cs.RO2025★ 1 cited

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments

Victoria Marie Tuck, Hardik Parwana, Pei-Wei Chen +5

This paper introduces MRTA-Sim, a Python/ROS2/Gazebo simulator for testing approaches to Multi-Robot Task Allocation (MRTA) problems on simulated robots in complex, indoor environm…

cs.RO2025

Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions

Xinyi Wang, Taekyung Kim, Bardh Hoxha +2

Robot navigation in dynamic, crowded environments poses a significant challenge due to the inherent uncertainties in the obstacle model. In this work, we propose a risk-adaptive ap…