Folgen
Mathias Lechner
Mathias Lechner
Bestätigte E-Mail-Adresse bei mit.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Neural circuit policies enabling auditable autonomy
M Lechner, R Hasani, A Amini, TA Henzinger, D Rus, R Grosu
Nature Machine Intelligence 2 (10), 642-652, 2020
2052020
Liquid time-constant networks
R Hasani, M Lechner, A Amini, D Rus, R Grosu
AAAI Conference on Artificial Intelligence 35 (9), 7657-7666, 2021
1952021
Mixed-Memory RNNs for Learning Long-term Dependencies in Irregularly Sampled Time Series
M Lechner, R Hasani
NeurIPS 2022 Memory in Artificial and Real Intelligence workshop, 2022
111*2022
Closed-form continuous-time neural networks
R Hasani, M Lechner, A Amini, L Liebenwein, A Ray, M Tschaikowski, ...
Nature Machine Intelligence 4 (11), 992-1003, 2022
79*2022
Liquid structural state-space models
R Hasani, M Lechner, TH Wang, M Chahine, A Amini, D Rus
arXiv preprint arXiv:2209.12951, 2022
632022
Latent imagination facilitates zero-shot transfer in autonomous racing
A Brunnbauer, L Berducci, A Brandstátter, M Lechner, R Hasani, D Rus, ...
2022 international conference on robotics and automation (ICRA), 7513-7520, 2022
60*2022
Designing worm-inspired neural networks for interpretable robotic control
M Lechner, R Hasani, M Zimmer, TA Henzinger, R Grosu
International Conference on Robotics and Automation (ICRA), 87-94, 2019
472019
Causal navigation by continuous-time neural networks
C Vorbach, R Hasani, A Amini, M Lechner, D Rus
Advances in Neural Information Processing Systems 34, 12425-12440, 2021
432021
Adversarial Training is Not Ready for Robot Learning
M Lechner, R Hasani, R Grosu, D Rus, TA Henzinger
International Conference on Robotics and Automation (ICRA), 4140-4147, 2021
362021
Scalable verification of quantized neural networks
TA Henzinger, M Lechner, Đ Žikelić
AAAI Conference on Artificial Intelligence 35 (5), 3787-3795, 2021
35*2021
The natural lottery ticket winner: Reinforcement learning with ordinary neural circuits
R Hasani, M Lechner, A Amini, D Rus, R Grosu
International Conference on Machine Learning (ICML), 2020
34*2020
Dataset distillation with convexified implicit gradients
N Loo, R Hasani, M Lechner, D Rus
International Conference on Machine Learning, 22649-22674, 2023
312023
On the verification of neural odes with stochastic guarantees
S Gruenbacher, R Hasani, M Lechner, J Cyranka, SA Smolka, R Grosu
AAAI Conference on Artificial Intelligence 35, 2021
312021
Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme
M Lechner, R Hasani, D Rus, R Grosu
IEEE International Conference on Robotics and Automation (ICRA), 5446-5452, 2020
292020
Stability verification in stochastic control systems via neural network supermartingales
M Lechner, Đ Žikelić, K Chatterjee, TA Henzinger
Proceedings of the AAAI Conference on Artificial Intelligence 36 (7), 7326-7336, 2022
272022
How Many Bits Does it Take to Quantize Your Neural Network?
M Giacobbe, TA Henzinger, M Lechner
International Conference on Tools and Algorithms for the Construction and …, 2020
272020
Gotube: Scalable statistical verification of continuous-depth models
SA Gruenbacher, M Lechner, R Hasani, D Rus, TA Henzinger, SA Smolka, ...
Proceedings of the AAAI Conference on Artificial Intelligence 36 (6), 6755-6764, 2022
262022
Robust flight navigation out of distribution with liquid neural networks
M Chahine, R Hasani, P Kao, A Ray, R Shubert, M Lechner, A Amini, ...
Science Robotics 8 (77), eadc8892, 2023
222023
Infinite time horizon safety of bayesian neural networks
M Lechner, Đ Žikelić, K Chatterjee, T Henzinger
Advances in Neural Information Processing Systems 34, 10171-10185, 2021
202021
On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification
Z Babaiee, R Hasani, M Lechner, D Rus, R Grosu
International Conference on Machine Learning (ICML), 478-489, 2021
172021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20