Alert button
Picture for Mathias Lechner

Mathias Lechner

Alert button

Massachusetts Institute of Technology

Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees

Dec 03, 2023
Đorđe Žikelić, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger

Viaarxiv icon

Leveraging Low-Rank and Sparse Recurrent Connectivity for Robust Closed-Loop Control

Oct 05, 2023
Neehal Tumma, Mathias Lechner, Noel Loo, Ramin Hasani, Daniela Rus

Viaarxiv icon

On the Size and Approximation Error of Distilled Sets

May 23, 2023
Alaa Maalouf, Murad Tukan, Noel Loo, Ramin Hasani, Mathias Lechner, Daniela Rus

Figure 1 for On the Size and Approximation Error of Distilled Sets
Figure 2 for On the Size and Approximation Error of Distilled Sets
Figure 3 for On the Size and Approximation Error of Distilled Sets
Figure 4 for On the Size and Approximation Error of Distilled Sets
Viaarxiv icon

Infrastructure-based End-to-End Learning and Prevention of Driver Failure

Mar 21, 2023
Noam Buckman, Shiva Sreeram, Mathias Lechner, Yutong Ban, Ramin Hasani, Sertac Karaman, Daniela Rus

Figure 1 for Infrastructure-based End-to-End Learning and Prevention of Driver Failure
Figure 2 for Infrastructure-based End-to-End Learning and Prevention of Driver Failure
Figure 3 for Infrastructure-based End-to-End Learning and Prevention of Driver Failure
Figure 4 for Infrastructure-based End-to-End Learning and Prevention of Driver Failure
Viaarxiv icon

Dataset Distillation with Convexified Implicit Gradients

Feb 13, 2023
Noel Loo, Ramin Hasani, Mathias Lechner, Daniela Rus

Figure 1 for Dataset Distillation with Convexified Implicit Gradients
Figure 2 for Dataset Distillation with Convexified Implicit Gradients
Figure 3 for Dataset Distillation with Convexified Implicit Gradients
Figure 4 for Dataset Distillation with Convexified Implicit Gradients
Viaarxiv icon

Dataset Distillation Fixes Dataset Reconstruction Attacks

Feb 02, 2023
Noel Loo, Ramin Hasani, Mathias Lechner, Daniela Rus

Figure 1 for Dataset Distillation Fixes Dataset Reconstruction Attacks
Figure 2 for Dataset Distillation Fixes Dataset Reconstruction Attacks
Figure 3 for Dataset Distillation Fixes Dataset Reconstruction Attacks
Figure 4 for Dataset Distillation Fixes Dataset Reconstruction Attacks
Viaarxiv icon

Cooperative Flight Control Using Visual-Attention -- Air-Guardian

Dec 21, 2022
Lianhao Yin, Tsun-Hsuan Wang, Makram Chahine, Tim Seyde, Mathias Lechner, Ramin Hasani, Daniela Rus

Figure 1 for Cooperative Flight Control Using Visual-Attention -- Air-Guardian
Figure 2 for Cooperative Flight Control Using Visual-Attention -- Air-Guardian
Figure 3 for Cooperative Flight Control Using Visual-Attention -- Air-Guardian
Figure 4 for Cooperative Flight Control Using Visual-Attention -- Air-Guardian
Viaarxiv icon

Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks

Nov 29, 2022
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus

Figure 1 for Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Figure 2 for Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Figure 3 for Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Figure 4 for Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Viaarxiv icon

Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees

Oct 11, 2022
Đorđe Žikelić, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee

Figure 1 for Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Figure 2 for Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Figure 3 for Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Figure 4 for Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Viaarxiv icon

Learning Control Policies for Region Stabilization in Stochastic Systems

Oct 11, 2022
Matin Ansaripour, Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger

Figure 1 for Learning Control Policies for Region Stabilization in Stochastic Systems
Figure 2 for Learning Control Policies for Region Stabilization in Stochastic Systems
Figure 3 for Learning Control Policies for Region Stabilization in Stochastic Systems
Figure 4 for Learning Control Policies for Region Stabilization in Stochastic Systems
Viaarxiv icon