Mathias Lechner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.

[BibT_eX]

[DOI]

Abhinav Verma

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

On the Size and Approximation Error of Distilled Datasets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Gigastep - One Billion Steps per Second Multi-agent Reinforcement Learning.

[BibT_eX]

[DOI]

Lianhao Yin

Tim Seyde

Tsun-Hsuan Johnson Wang

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Towards Cooperative Flight Control Using Visual-Attention.

[BibT_eX]

[DOI]

IROS, 2023

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Dataset Distillation with Convexified Implicit Gradients.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

On the Forward Invariance of Neural ODEs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

Liquid Structural State-Space Models.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.

[BibT_eX]

[DOI]

Matin Ansaripour

Proceedings of the Automated Technology for Verification and Analysis, 2023

Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

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

[BibT_eX]

[DOI]

Daniela Rus

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Publisher Correction: Closed-form continuous-time neural networks.

[BibT_eX]

[DOI]

Nat. Mac. Intell., December, 2022

Closed-form continuous-time neural networks.

[BibT_eX]

[DOI]

Nat. Mac. Intell., November, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Learning Control Policies for Region Stabilization in Stochastic Systems.

[BibT_eX]

[DOI]

Matin Ansaripour

CoRR, 2022

On the Forward Invariance of Neural ODEs.

[BibT_eX]

[DOI]

CoRR, 2022

PyHopper - Hyperparameter optimization.

[BibT_eX]

[DOI]

CoRR, 2022

Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap.

[BibT_eX]

[DOI]

CoRR, 2022

Entangled Residual Mappings.

[BibT_eX]

[DOI]

CoRR, 2022

Learning Stabilizing Policies in Stochastic Control Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing.

[BibT_eX]

[DOI]

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

GoTube: Scalable Statistical Verification of Continuous-Depth Models.

[BibT_eX]

[DOI]

Sophie A. Gruenbacher

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

GoTube: Scalable Stochastic Verification of Continuous-Depth Models.

[BibT_eX]

[DOI]

CoRR, 2021

Closed-form Continuous-Depth Models.

[BibT_eX]

[DOI]

CoRR, 2021

Model-based versus Model-free Deep Reinforcement Learning for Autonomous Racing Cars.

[BibT_eX]

[DOI]

CoRR, 2021

Interactive Analysis of CNN Robustness.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 2021

Causal Navigation by Continuous-time Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Infinite Time Horizon Safety of Bayesian Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Adversarial Training is Not Ready for Robot Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

Scalable Verification of Quantized Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Liquid Time-constant Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

On the Verification of Neural ODEs with Stochastic Guarantees.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Neural circuit policies enabling auditable autonomy.

[BibT_eX]

[DOI]

Nat. Mach. Intell., 2020

Scalable Verification of Quantized Neural Networks (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2020

Learning Long-Term Dependencies in Irregularly-Sampled Time Series.

[BibT_eX]

[DOI]

Ramin M. Hasani

CoRR, 2020

How Many Bits Does it Take to Quantize Your Neural Network?

[BibT_eX]

[DOI]

Mirco Giacobbe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

Learning representations for binary-classification without backpropagation.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

Lagrangian Reachtubes: The Next Generation.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

An SMT Theory of Fixed-Point Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2019

Designing Worm-inspired Neural Networks for Interpretable Robotic Control.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

2018

Liquid Time-constant Recurrent Neural Networks as Universal Approximators.

[BibT_eX]

[DOI]

CoRR, 2018

Re-purposing Compact Neuronal Circuit Policies to Govern Reinforcement Learning Tasks.

[BibT_eX]

[DOI]

CoRR, 2018

Neuronal Circuit Policies.

[BibT_eX]

[DOI]

Ramin M. Hasani

Radu Grosu

CoRR, 2018

2017

Worm-level Control through Search-based Reinforcement Learning.

[BibT_eX]

[DOI]