Formal abstractions for automated verification and synthesis of stochastic systems

S Esmaeil Zadeh Soudjani

Research output: ThesisDissertation (TU Delft)

Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Delft University of Technology
Supervisors/Advisors
  • Abate, Alessandro, Supervisor
  • Hellendoorn, H, Advisor, External person
Award date3 Nov 2014
Print ISBNs978-94-6203-683-3
DOIs
Publication statusPublished - 2014

Keywords

  • Diss. prom. aan TU Delft

Cite this