Radu Ciobanu

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 3

Top Topics

Qualitative Analysis

Timed Petri Nets

Strips Planning

Top Venues

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
Universal Safety for Timed Petri Nets is PSPACE-complete. CoRR (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
Universal Safety for Timed Petri Nets is PSPACE-complete. CONCUR (2018)
Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
Qualitative Analysis of VASS-Induced MDPs. FoSSaCS (2016)
Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
Qualitative Analysis of VASS-Induced MDPs. CoRR (2015)
Herman Schmit, Amit Gupta, Radu Ciobanu
Placement challenges for structured ASICs. ISPD (2008)