( en | de | ru )

 

Disambiguation of "Liebenwein, Lucas"

Author of the publication

copydeleteadd this publication to your clipboard
Counterexample-Guided Safety Contracts for Autonomous Driving.

, , , , , and . WAFR, volume 14 of Springer Proceedings in Advanced Robotics, page 939-955. Springer, (2018)

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.

Renate Liebenwein

Wolfgang Liebenwein

Sylva Liebenwein

Irmgard Lucas

Alfred Lucas

 

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)Data-Dependent Coresets for Compressing Neural Networks with Applications to Generalization Bounds., , , , and . ICLR (Poster), OpenReview.net, (2019)Efficient Deep Learning: From Theory to Practice.. Massachusetts Institute of Technology, USA, (2021)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)Machine Learning-based Estimation of Forest Carbon Stocks to increase Transparency of Forest Preservation Efforts., , and . CoRR, (2019)Compressing Neural Networks: Towards Determining the Optimal Layer-wise Decomposition., , , and . NeurIPS, page 5328-5344. (2021)Sparse Flows: Pruning Continuous-depth Models., , , and . NeurIPS, page 22628-22642. (2021)Publisher Correction: Closed-form continuous-time neural networks., , , , , , , and . Nat. Mac. Intell., 4 (12): 1267 (December 2022)