Dimitrios Milios
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference Quantitative Evaluation of Systems | 2023-06-28 | Paper |
| Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference Quantitative Evaluation of Systems | 2023-06-28 | Paper |
| Studying emergent behaviours in morphogenesis using signal spatio-temporal logic Hybrid Systems Biology | 2019-05-21 | Paper |
| Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent (available as arXiv preprint) | 2018-01-11 | Paper |
| Smoothed model checking for uncertain continuous-time Markov chains Information and Computation | 2016-03-10 | Paper |
Research outcomes over time
This page was built for person: Dimitrios Milios
