2 papers
cs.RO2022
Designing a Recurrent Neural Network to Learn a Motion Planner for High-Dimensional Inputs
Johnathan Chiu
The use of machine learning in the self-driving industry has boosted a number of recent advancements. In particular, the usage of large deep learning models in the perception and p…
cs.LG2020
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…