Igor Melatti

Pubblicazioni

Titolo Pubblicato in Anno
Simulator semantics for system level formal verification Logics and Formal Verification 2015 (GandALF’15) 2015

ERC

  • PE6_1
  • PE6_2
  • PE6_3
  • PE6_4

KET

  • Big data & computing
  • Life-science technologies & biotechnologies
  • Sustainable technologies & development

Interessi di ricerca

Formal methods for Verification of Reactive Systems; Formal methods for Synthesis of Controllers for Reactive Systems; Smart Grids

Keywords

smart grids computing
System Under Verification
continuous-time and sampled-data output feedback controllers

Progetti di Ricerca

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma