1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.RO2022★ 1 cited
Learning Certifiably Robust Controllers Using Fragile Perception
Dawei Sun, Negin Musavi, Geir Dullerud +2
Advances in computer vision and machine learning enable robots to perceive their surroundings in powerful new ways, but these perception modules have well-known fragilities. We con…
cs.LG2019
Verification and Parameter Synthesis for Stochastic Systems using Optimistic Optimization
Negin Musavi, Dawei Sun, Sayan Mitra +2
We present an algorithm for formal verification and parameter synthesis of continuous state-space Markov chains. This class of problems captures the design and analysis of a wide v…
cs.GT2018
A 3D Game Theoretical Framework for the Evaluation of Unmanned Aircraft Systems Airspace Integration Concepts
Negin Musavi, Ayman Manzoor, Yildiray Yildiz
Predicting the outcomes of integrating Unmanned Aerial Systems (UAS) into the National Airspace System (NAS) is a complex problem which is required to be addressed by simulation st…