Full name Familienname, Vorname
Tribastone, Mirco
 

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Cardelli, Luca ; Grosu, Radu ; Larsen, Kim G. ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea Lumpability for Uncertain Continuous-Time Markov ChainsKonferenzbeitrag Inproceedings 2021
2Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability AnalysisKonferenzbeitrag Inproceedings2018
3Tognazzi, Stefano ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea Backward Invariance for Linear Differential Algebraic EquationsKonferenzbeitrag Inproceedings2018