Mathias Lechner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
9
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | SafeDiffuser: Safe Planning with Diffusion Probabilistic Models. | Wei Xiao, Tsun-Hsuan Wang, Chuang Gan, Ramin M. Hasani, Mathias Lechner, Daniela Rus |
| 2024 | ICLR | Understanding Reconstruction Attacks with the Neural Tangent Kernel and Dataset Distillation. | Noel Loo, Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus |
| 2024 | ICLR | Leveraging Low-Rank and Sparse Recurrent Connectivity for Robust Closed-Loop Control. | Neehal Tumma, Mathias Lechner, Noel Loo, Ramin M. Hasani, Daniela Rus |
| 2024 | ICML | Large Scale Dataset Distillation with Domain Shift. | Noel Loo, Alaa Maalouf, Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus |
| 2024 | ICML | State-Free Inference of State-Space Models: The *Transfer Function* Approach. | Rom N. Parnichkun, Stefano Massaroli, Alessandro Moro, Jimmy T. H. Smith, Ramin M. Hasani, Mathias Lechner, Qi An, Christopher R, Hajime Asama, Stefano Ermon, Taiji Suzuki, Michael Poli, Atsushi Yamashita |
| 2024 | ICRA | Learning with Chemical versus Electrical Synapses Does it Make a Difference? | Mnika Farsang, Mathias Lechner, David Lung, Ramin M. Hasani, Daniela Rus, Radu Grosu |
| 2024 | ICRA | Overparametrization helps offline-to-online generalization of closed-loop control from pixels. | Mathias Lechner, Ramin M. Hasani, Alexander Amini, Tsun-Hsuan Wang, Thomas A. Henzinger, Daniela Rus |
| 2024 | IROS | Competitive Multi-Team Behavior in Dynamic Flight Scenarios. | Tim Seyde, Mathias Lechner, Joshua Rountree, Daniela Rus |
| 2023 | AAAI | Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. | Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus |
| 2023 | AAAI | Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. | Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee |
| 2023 | ATVA | Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. | Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic |
| 2023 | ICLR | Liquid Structural State-Space Models. | Ramin M. Hasani, Mathias Lechner, Tsun-Hsuan Wang, Makram Chahine, Alexander Amini, Daniela Rus |
| 2023 | ICML | On the Forward Invariance of Neural ODEs. | Wei Xiao, Tsun-Hsuan Wang, Ramin M. Hasani, Mathias Lechner, Yutong Ban, Chuang Gan, Daniela Rus |
| 2023 | ICML | Dataset Distillation with Convexified Implicit Gradients. | Noel Loo, Ramin M. Hasani, Mathias Lechner, Daniela Rus |
| 2023 | ICRA | Infrastructure-based End-to-End Learning and Prevention of Driver Failure. | Noam Buckman, Shiva Sreeram, Mathias Lechner, Yutong Ban, Ramin M. Hasani, Sertac Karaman, Daniela Rus |
| 2023 | IROS | Towards Cooperative Flight Control Using Visual-Attention. | Lianhao Yin, Makram Chahine, Tsun-Hsuan Wang, Tim Seyde, Chao Liu, Mathias Lechner, Ramin M. Hasani, Daniela Rus |
| 2023 | TACAS | A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. | Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic |
| 2022 | AAAI | GoTube: Scalable Statistical Verification of Continuous-Depth Models. | Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu |
| 2022 | AAAI | Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. | Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger |
| 2022 | ICRA | Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing. | Axel Brunnbauer, Luigi Berducci, Andreas Brandsttter, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Radu Grosu |
| 2021 | AAAI | On the Verification of Neural ODEs with Stochastic Guarantees. | Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu |
| 2021 | AAAI | Liquid Time-constant Networks. | Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu |
| 2021 | AAAI | Scalable Verification of Quantized Neural Networks. | Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic |
| 2021 | ICML | On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification. | Zahra Babaiee, Ramin M. Hasani, Mathias Lechner, Daniela Rus, Radu Grosu |
| 2021 | ICRA | Adversarial Training is Not Ready for Robot Learning. | Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger |
| 2020 | CADE | An SMT Theory of Fixed-Point Arithmetic. | Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric |
| 2020 | ICLR | Learning representations for binary-classification without backpropagation. | Mathias Lechner |
| 2020 | ICML | A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits. | Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu |
| 2020 | ICRA | Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme. | Mathias Lechner, Ramin M. Hasani, Daniela Rus, Radu Grosu |
| 2020 | TACAS | How Many Bits Does it Take to Quantize Your Neural Network? | Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner |
| 2019 | IJCNN | Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. | Ramin M. Hasani, Alexander Amini, Mathias Lechner, Felix Naser, Radu Grosu, Daniela Rus |
| 2019 | ICRA | Designing Worm-inspired Neural Networks for Interpretable Robotic Control. | Mathias Lechner, Ramin M. Hasani, Manuel Zimmer, Thomas A. Henzinger, Radu Grosu |