Smoothed model checking for uncertain Continuous-Time Markov Chains

Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Smoothed model checking for uncertain Continuous-Time Markov Chains'. Together they form a unique fingerprint.

Computer Science

Mathematics

Physics

Economics, Econometrics and Finance