You are here

Mirko Sessa

PhD Student
  • Phone: +39 0461 314332
  • FBK Povo
Research interests
DAE-based formal modeling and verification. Hybrid systems. SMT-based model checking.
Publications

From Electrical Switched Networks to Hybrid Automata. (FM2016)