Serge Haddad

Ein neuer Ansatz zur Berechnung von Erreichbarkeitswahrscheinlichkeiten in komplexen Systemen mit unendlichen Zuständen.

Ein Rahmen für ein besseres Verständnis komplexer Markov-Ketten durch Abstraktions- und Sampling-Techniken.