Quantitative Evaluation of Systems

Book title Buchtitel

ISBN

978-3-031-16336-4

Editor Herausgeber_in

Ábrahám, Erika
Paolieri, Marco

Publisher Herausgeber

Springer

DOI

10.1007/978-3-031-16336-4

Volume Band

13479

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

RIS EndNote Bibtex Send via email

	Authors / Editors	Title	Type	Issue Date
1	Baldi, Marco ; Bartocci, Ezio ; Chiaraluce, Franco ; Cucchiarelli, Alessandro ; Senigagliesi, Linda ; Spalazzi, Luca ; Spegni, Francesco	A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage	Konferenzbeitrag Inproceedings	2017
2	Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea ; McIver, Annabelle ; Horvath, Andras	Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis	Konferenzbeitrag Inproceedings	2018
3	Cardelli, Luca ; Grosu, Radu ; Larsen, Kim G. ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea	Lumpability for Uncertain Continuous-Time Markov Chains	Konferenzbeitrag Inproceedings	2021
4	Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia ; Ábrahám, Erika ; Paolieri, Marco	Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments	Inproceedings Konferenzbeitrag	2022
5	Pilch, Carina ; Schupp, Stefan ; Remke, Anne	Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction	Konferenzbeitrag Inproceedings	2021
6	Bartocci, 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 Ascent	Konferenzbeitrag Inproceedings	2016