Quantitative Evaluation of Systems

Book title Buchtitel

ISBN

978-3-031-16335-7

Editor Herausgeber_in

Ábrahám, Erika
Paolieri, Marco

Publisher Herausgeber

Springer-Verlag

Place of publishing Erscheinungsort

Berlin, Heidelberg

DOI

10.1007/978-3-031-16336-4

Volume Band

13479

Filter:

Author: Bartocci, Ezio

Results 1-4 of 4 (Search time: 0.003 seconds).

RIS EndNote Bibtex Send via email

	Author(s)	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	Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia	Distribution Estimation for Probabilistic Loops	Inproceedings Konferenzbeitrag	12-Sep-2022
3	Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia	Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments	Inproceedings Konferenzbeitrag	2022
4	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