91 citations · 193 across the 16 of their papers we have counts for
20 papers
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…
Gradient Descent over Metagrammars for Syntax-Guided Synthesis
Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia
The performance of a syntax-guided synthesis algorithm is highly dependent on the provision of a good syntactic template, or grammar. Provision of such a template is often left to…
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu +2
We demonstrate a unified approach to rigorous design of safety-critical autonomous systems using the VerifAI toolkit for formal analysis of AI-based systems. VerifAI provides an in…