Radu Grosu

is this you? claim profile

∙ 0 followers
TU Wien

Professor at Vienna University of Technology

A Distributed Simplex Architecture for Multi-Agent Systems

We present Distributed Simplex Architecture (DSA), a new runtime assuran...
12/18/2020 ∙ by Usama Mehmood, et al. ∙ 0 ∙ share

read it
On The Verification of Neural ODEs with Stochastic Guarantees

We show that Neural ODEs, an emerging class of time-continuous neural ne...
12/16/2020 ∙ by Sophie Gruenbacher, et al. ∙ 12 ∙ share

read it
Lagrangian Reachtubes: The Next Generation

We introduce LRT-NG, a set of techniques and an associated toolset that ...
12/14/2020 ∙ by Sophie Gruenbacher, et al. ∙ 5 ∙ share

read it
Liquid Time-constant Networks

We introduce a new class of time-continuous recurrent neural network mod...
06/08/2020 ∙ by Ramin Hasani, et al. ∙ 13 ∙ share

read it
Learning Distributed Controllers for V-Formation

We show how a high-performing, fully distributed and symmetric neural V-...
06/01/2020 ∙ by Shouvik Roy, et al. ∙ 0 ∙ share

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

This paper shows that ResNets, NeuralODEs, and CT-RNNs, are particular n...
02/26/2020 ∙ by Radu Grosu, et al. ∙ 0 ∙ share

read it
V-Formation via Model Predictive Control

We present recent results that demonstrate the power of viewing the prob...
02/20/2020 ∙ by Radu Grosu, et al. ∙ 0 ∙ share

read it
A Nonparametric Bayesian Model for Sparse Temporal Multigraphs

As the availability and importance of temporal interaction data–such as ...
10/11/2019 ∙ by Elahe Ghalebi, et al. ∙ 0 ∙ share

read it
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers

We show how a distributed flocking controller can be synthesized using d...
08/26/2019 ∙ by Shouvik Roy, et al. ∙ 0 ∙ share

read it
Neural Simplex Architecture

We present the Neural Simplex Architecture (NSA), a new approach to runt...
08/01/2019 ∙ by Dung Phan, et al. ∙ 0 ∙ share

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

Interaction graphs, such as those recording emails between individuals o...
05/28/2019 ∙ by Elahe Ghalebi, et al. ∙ 0 ∙ share

read it
Liquid Time-constant Recurrent Neural Networks as Universal Approximators

In this paper, we introduce the notion of liquid time-constant (LTC) rec...
11/01/2018 ∙ by Ramin M. Hasani, et al. ∙ 4 ∙ share

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

The Internet of Things (IoT) is an ubiquitous system connecting many dif...
10/16/2018 ∙ by Denise Ratasich, et al. ∙ 0 ∙ share

read it
Tight Continuous-Time Reachtubes for Lagrangian Reachability

We introduce continuous Lagrangian reachability (CLRT), a new algorithm ...
09/20/2018 ∙ by Jacek Cyranka, et al. ∙ 0 ∙ share

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

We propose an effective method for creating interpretable control agents...
09/11/2018 ∙ by Ramin M. Hasani, et al. ∙ 2 ∙ share

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

In this paper, we introduce a novel method to interpret recurrent neural...
09/11/2018 ∙ by Ramin M. Hasani, et al. ∙ 2 ∙ share

read it
Neural State Classification for Hybrid Systems

We introduce the State Classification Problem (SCP) for hybrid systems, ...
07/26/2018 ∙ by Dung Phan, et al. ∙ 0 ∙ share

read it
Dynamic Network Model from Partial Observations

Can evolving networks be inferred and modeled without directly observing...
05/27/2018 ∙ by Elahe Ghalebi, et al. ∙ 0 ∙ share

read it
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems

We present DAMPC, a distributed, adaptive-horizon and adaptive-neighborh...
05/21/2018 ∙ by Anna Lukina, et al. ∙ 0 ∙ share

read it
Neuronal Circuit Policies

We propose an effective way to create interpretable control agents, by r...
03/22/2018 ∙ by Mathias Lechner, et al. ∙ 0 ∙ share

read it
An Algebraic Framework for Runtime Verification

Runtime verification (RV) is a pragmatic and scalable, yet rigorous tech...
02/11/2018 ∙ by Stefan Jaksic, et al. ∙ 0 ∙ share

read it
Worm-level Control through Search-based Reinforcement Learning

Through natural evolution, nervous systems of organisms formed near-opti...
11/09/2017 ∙ by Mathias Lechner, et al. ∙ 0 ∙ share

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

Individual Neurons in the nervous systems exploit various dynamics. To c...
11/04/2017 ∙ by Magdalena Fuchs, et al. ∙ 0 ∙ share

read it
Declarative vs Rule-based Control for Flocking Dynamics

The popularity of rule-based flocking models, such as Reynolds' classic ...
10/27/2017 ∙ by Usama Mehmood, et al. ∙ 0 ∙ share

read it
Lagrangian Reachabililty

We introduce LRT, a new Lagrangian-based ReachTube computation algorithm...
05/16/2017 ∙ by Jacek Cyranka, et al. ∙ 0 ∙ share

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

This paper studies an intelligent ultimate technique for health-monitori...
03/18/2017 ∙ by Ramin M. Hasani, et al. ∙ 0 ∙ share

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

We introduce SIM-CE, an advanced, user-friendly modeling and simulation ...
03/18/2017 ∙ by Ramin M. Hasani, et al. ∙ 0 ∙ share

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

Caenorhabditis elegans (C. elegans) illustrated remarkable behavioral pl...
03/18/2017 ∙ by Ramin M. Hasani, et al. ∙ 0 ∙ share

read it
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans

We introduce ARES, an efficient approximation algorithm for generating o...
12/21/2016 ∙ by Anna Lukina, et al. ∙ 0 ∙ share

read it
Deep Neural Programs for Adaptive Control in Cyber-Physical Systems

We introduce Deep Neural Programs (DNP), a novel programming paradigm fo...
02/13/2015 ∙ by Konstantin Selyunin, et al. ∙ 0 ∙ share

read it

Radu Grosu

Featured Co-authors