Skip to ContentSkip to Navigation
Over ons Praktische zaken Waar vindt u ons A. (Armin) Pirastehzad, MSc

Publicaties

Comparison of Non-deterministic Stable Linear Systems by (γ,δ)-Similarity

Specification Verification and Controller Synthesis Using (γ, δ)-Similarity