Quantitative Evaluation of Systems

Book title Buchtitel
Quantitative Evaluation of Systems
 
ISBN
978-3-031-16336-4
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer
 
DOI
10.1007/978-3-031-16336-4
 
Volume Band
13479
 

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue 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
2Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea ; McIver, Annabelle ; Horvath, Andras Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability AnalysisKonferenzbeitrag Inproceedings2018
3Cardelli, Luca ; Grosu, Radu ; Larsen, Kim G. ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea Lumpability for Uncertain Continuous-Time Markov ChainsKonferenzbeitrag Inproceedings 2021
4Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia ; Ábrahám, Erika ; Paolieri, Marco Moment-Based Invariants for Probabilistic Loops with Non-polynomial AssignmentsInproceedings Konferenzbeitrag 2022
5Pilch, Carina ; Schupp, Stefan ; Remke, Anne Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-ConstructionKonferenzbeitrag Inproceedings2021
6Bartocci, 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