Dario Cattaruzza

Identifiers

• name variant Dario Cattaruzza 0.60 · backfill

Papers (3)

1. Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants cs.SY · 2017 · author #3
2. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants cs.SY · 2016 · author #3
3. Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version) cs.SY · 2015 · author #1

Mentions

• 1705.00981 #3 · arxiv_oai · confidence 0.70 Dario Cattaruzza
• 1610.04761 #3 · arxiv_oai · confidence 0.70 Dario Cattaruzza
• 1506.05607 #1 · arxiv_oai · confidence 0.70 Dario Cattaruzza
• 1506.05607 #1 · backfill · confidence 0.70 Dario Cattaruzza

Frequent Coauthors

• Alessandro Abate 3 shared papers
• Daniel Kroening 3 shared papers
• Cristina David 2 shared papers
• Iury Bessa 2 shared papers
• Lucas Cordeiro 2 shared papers
• Pascal Kesseli 2 shared papers
• Elizabeth Polgreen 1 shared papers
• Peter Schrammel 1 shared papers