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:

Date Issued: [2020 TO 2023]

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

RIS EndNote Bibtex Send via email

	Author(s)	Title	Type	Issue Date
1	Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia	Distribution Estimation for Probabilistic Loops	Inproceedings Konferenzbeitrag	12-Sep-2022
2	Cardelli, Luca ; Grosu, Radu ; Larsen, Kim G. ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea	Lumpability for Uncertain Continuous-Time Markov Chains	Konferenzbeitrag Inproceedings	2021
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	Pilch, Carina ; Schupp, Stefan ; Remke, Anne	Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction	Konferenzbeitrag Inproceedings	2021