Inizio contenuto principale del sito

Doncel, J; Gast, N; Tribastone, M; Tschaikowski, M; Vandin, A

UTOPIC: Under-approximation through optimal control Apre una nuova scheda del browser

(2019)

Cardelli, L.; Grosu, R.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.; Vandin, A.

Lumpability for Uncertain Continuous-Time Markov Chains Apre una nuova scheda del browser

(2021)

Argyris, Georgios; Lluch Lafuente, Alberto; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea

Reducing Boolean Networks with Backward Boolean Equivalence Apre una nuova scheda del browser

(2021)