Publikationen
 

Preprints

Bücher

  • [B1] A. Lavaei and A. Abate, Formal Methods for Stochastic Cyber-Physical Systems, Cambridge University Press, book proposal accepted, 2023.

Fachzeitschriftartikel

* Gleichermaßen beigetragen

Buchkapitel

Konferenz-Paper

Dissertation