Quantitative Evaluation of Systems

Book title Buchtitel
Quantitative Evaluation of Systems
 
ISBN
978-3-031-16335-7
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer-Verlag
 
Place of publishing Erscheinungsort
Berlin, Heidelberg
 
DOI
10.1007/978-3-031-16336-4
 
Volume Band
13479
 

Publications Publikationen

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baldi, Marco ; Bartocci, Ezio ; Chiaraluce, Franco ; Cucchiarelli, Alessandro ; Senigagliesi, Linda ; Spalazzi, Luca ; Spegni, Francesco A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud StorageKonferenzbeitrag Inproceedings2017
2Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia Distribution Estimation for Probabilistic LoopsInproceedings Konferenzbeitrag 12-Sep-2022
3Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability AnalysisKonferenzbeitrag Inproceedings2018
4Cardelli, Luca ; Grosu, Radu ; Larsen, Kim G. ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea Lumpability for Uncertain Continuous-Time Markov ChainsKonferenzbeitrag Inproceedings 2021
5Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia Moment-Based Invariants for Probabilistic Loops with Non-polynomial AssignmentsInproceedings Konferenzbeitrag 2022
6Pilch, Carina ; Schupp, Stefan ; Remke, Anne Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-ConstructionKonferenzbeitrag Inproceedings2021
7Bartocci, Ezio ; Bortolussi, Luca ; Brazdil, Tomas ; Milos, Dimitrios ; Sanguinetti, Guido Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient AscentKonferenzbeitrag Inproceedings 2016