Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Radu Grosu

GoTube: Scalable Stochastic Verification of Continuous-Depth Models


Jul 18, 2021
Sophie Gruenbacher, Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A. Henzinger, Scott Smolka, Radu Grosu

* 17 Pages 

  Access Paper or Ask Questions

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


Jun 13, 2021
Zahra Babaiee, Ramin Hasani, Mathias Lechner, Daniela Rus, Radu Grosu

* 21 Pages. Accepted for publication in the proceedings of the 38th International Conference on Machine Learning (ICML) 2021 

  Access Paper or Ask Questions

Adversarial Training is Not Ready for Robot Learning


Mar 15, 2021
Mathias Lechner, Ramin Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger

* Accepted at the IEEE International Conference on Robotics and Automation (ICRA) 2021 

  Access Paper or Ask Questions

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


Mar 08, 2021
Axel Brunnbauer, Luigi Berducci, Andreas Brandstätter, Mathias Lechner, Ramin Hasani, Daniela Rus, Radu Grosu


  Access Paper or Ask Questions

On The Verification of Neural ODEs with Stochastic Guarantees


Dec 16, 2020
Sophie Gruenbacher, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu

* 12 pages, 2 figures 

  Access Paper or Ask Questions

Lagrangian Reachtubes: The Next Generation


Dec 14, 2020
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu

* 12 pages, 14 figures 

  Access Paper or Ask Questions

Liquid Time-constant Networks


Jun 08, 2020
Ramin Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu

* 32 pages, 9 figures 

  Access Paper or Ask Questions

ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks


Mar 19, 2020
Radu Grosu

* 9 pages, 4 figures 

  Access Paper or Ask Questions

A Nonparametric Bayesian Model for Sparse Temporal Multigraphs


Oct 11, 2019
Elahe Ghalebi, Hamidreza Mahyar, Radu Grosu, Graham W. Taylor, Sinead A. Williamson


  Access Paper or Ask Questions

Neural Simplex Architecture


Aug 01, 2019
Dung Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller


  Access Paper or Ask Questions

Dynamic Nonparametric Edge-Clustering Model for Time-Evolving Sparse Networks


May 29, 2019
Elahe Ghalebi, Hamidreza Mahyar, Radu Grosu, Sinead Williamson


  Access Paper or Ask Questions

A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems


Nov 06, 2018
Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci

* preprint (2018-10-29) 

  Access Paper or Ask Questions

Liquid Time-constant Recurrent Neural Networks as Universal Approximators


Nov 01, 2018
Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu

* This short report introduces the universal approximation capabilities of liquid time-constant (LTC) recurrent neural networks, and provides theoretical bounds for its dynamics 

  Access Paper or Ask Questions

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


Sep 11, 2018
Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu

* arXiv admin note: substantial text overlap with arXiv:1803.08554 

  Access Paper or Ask Questions

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


Sep 11, 2018
Ramin M. Hasani, Alexander Amini, Mathias Lechner, Felix Naser, Radu Grosu, Daniela Rus


  Access Paper or Ask Questions

Neural State Classification for Hybrid Systems


Jul 26, 2018
Dung Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller

* ATVA2018 extended version 

  Access Paper or Ask Questions

Dynamic Network Model from Partial Observations


Jun 18, 2018
Elahe Ghalebi, Baharan Mirzasoleiman, Radu Grosu, Jure Leskovec


  Access Paper or Ask Questions

Neuronal Circuit Policies


Mar 22, 2018
Mathias Lechner, Ramin M. Hasani, Radu Grosu


  Access Paper or Ask Questions

How to Learn a Model Checker


Dec 05, 2017
Dung Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller

* 16 pages, 13 figures, short version submitted to HSCC2018 

  Access Paper or Ask Questions

Worm-level Control through Search-based Reinforcement Learning


Nov 09, 2017
Mathias Lechner, Radu Grosu, Ramin M. Hasani


  Access Paper or Ask Questions

Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording


Nov 04, 2017
Magdalena Fuchs, Manuel Zimmer, Radu Grosu, Ramin M. Hasani


  Access Paper or Ask Questions

Non-Associative Learning Representation in the Nervous System of the Nematode Caenorhabditis elegans


Mar 25, 2017
Ramin M. Hasani, Magdalena Fuchs, Victoria Beneder, Radu Grosu


  Access Paper or Ask Questions

SIM-CE: An Advanced Simulink Platform for Studying the Brain of Caenorhabditis elegans


Mar 25, 2017
Ramin M. Hasani, Victoria Beneder, Magdalena Fuchs, David Lung, Radu Grosu


  Access Paper or Ask Questions

An Automated Auto-encoder Correlation-based Health-Monitoring and Prognostic Method for Machine Bearings


Mar 18, 2017
Ramin M. Hasani, Guodong Wang, Radu Grosu


  Access Paper or Ask Questions

Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction


Mar 17, 2017
Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar


  Access Paper or Ask Questions

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans


Dec 21, 2016
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu

* submitted to TACAS 2017 

  Access Paper or Ask Questions

Deep Neural Programs for Adaptive Control in Cyber-Physical Systems


Feb 13, 2015
Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Radu Grosu


  Access Paper or Ask Questions