235 citations · 865 across the 103 of their papers we have counts for
12 papers · 1 filter
A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving
Jay Shenoy, Edward Kim, Xiangyu Yue +4
Safely interacting with humans is a significant challenge for autonomous driving. The performance of this interaction depends on machine learning-based modules of an autopilot, suc…
Scenic: A Language for Scenario Specification and Data Generation
Daniel J. Fremont, Edward Kim, Tommaso Dreossi +4
We propose a new probabilistic programming language for the design and analysis of cyber-physical systems, especially those based on machine learning. Specifically, we consider the…
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
Yash Vardhan Pant, He Yin, Murat Arcak +1
Urban Air Mobility (UAM), or the scenario where multiple manned and Unmanned Aerial Vehicles (UAVs) carry out various tasks over urban airspaces, is a transportation concept of the…
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation
Sicheng Zhao, Xiangyu Yue, Shanghang Zhang +8
Large-scale labeled training datasets have enabled deep neural networks to excel across a wide range of benchmark vision tasks. However, in many applications, it is prohibitively e…
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
Sumukh Shivakumar, Hazem Torfah, Ankush Desai +1
We present an implementation of SOTER, a run-time assurance framework for building safe distributed mobile robotic (DMR) systems, on top of the Robot Operating System (ROS). The sa…
Synthesis in Uclid5
Federico Mora, Kevin Cheang, Elizabeth Polgreen +1
We describe an integration of program synthesis into Uclid5, a formal modelling and verification tool. To the best of our knowledge, the new version of Uclid5 is the only tool that…