Radu Grosu -

Not registered as user yet

Name:Radu Grosu

Country:Austria

Affiliation:Vienna University of Technology

Contributions

ICSE 2022	Author of DeepSTL - From English Requirements to Signal Temporal Logic within the Technical Track-track
ACSOS 2020	Author of Learning Distributed Controllers for V-Formation within the Research Papers-track
TACAS 2019	Case Study Chair in Program Committee within the TACAS 2019-track
SPIN 2017	Committee Member in Program Committee
VORTEX 2016	Committee Member in Program Committee within the VORTEX-track