Dario Cattaruzza

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 10

Top Topics

Controller Synthesis

Reinforcement Learning

Top Venues

Publications

Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. J. Autom. Reason. 65 (2) (2021)
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSWeek (2017)
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
Sound Numerical Computations in Abstract Acceleration. NSV@CAV (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CoRR (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
DSSynth: an automated digital controller synthesis tool for physical plants. ASE (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. HSCC (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CAV (1) (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. CoRR (2016)
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration. SAS (2015)
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version). CoRR (2015)