Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Provable Filter Pruning for Efficient Neural Networks., , , , and . ICLR, OpenReview.net, (2020)Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees., , , , and . Robotics: Science and Systems, (2018)Efficient Deep Learning: From Theory to Practice.. Massachusetts Institute of Technology, USA, (2021)Data-Dependent Coresets for Compressing Neural Networks with Applications to Generalization Bounds., , , , and . ICLR (Poster), OpenReview.net, (2019)Compressing Neural Networks: Towards Determining the Optimal Layer-wise Decomposition., , , , and . CoRR, (2021)Counterexample-Guided Safety Contracts for Autonomous Driving., , , , , and . WAFR, volume 14 of Springer Proceedings in Advanced Robotics, page 939-955. Springer, (2018)Training Support Vector Machines using Coresets., , and . CoRR, (2017)Closed-form Continuous-Depth Models., , , , , , and . CoRR, (2021)Deep Latent Competition: Learning to Race Using Visual Control Policies in Latent Space., , , , , , and . CoRL, volume 155 of Proceedings of Machine Learning Research, page 1855-1870. PMLR, (2020)Compositional and Contract-Based Verification for Autonomous Driving on Road Networks., , , , , , and . ISRR, volume 10 of Springer Proceedings in Advanced Robotics, page 163-181. Springer, (2017)