Tribastone, Mirco

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Tribastone, Mirco
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue 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 ; McIver, Annabelle ; Horvath, Andras Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability AnalysisKonferenzbeitrag Inproceedings2018
3Tognazzi, Stefano ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea ; Egerstedt, Markus ; Teel, Andrew R. Backward Invariance for Linear Differential Algebraic EquationsKonferenzbeitrag Inproceedings2018