Dimitrios Milios

From MaRDI portal
Person:259072

Available identifiers

zbMath Open milios.dimitriosMaRDI QIDQ259072

List of research outcomes





PublicationDate of PublicationType
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference2023-06-28Paper
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic2019-05-21Paper
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent2018-01-11Paper
Smoothed model checking for uncertain continuous-time Markov chains2016-03-10Paper

Research outcomes over time

This page was built for person: Dimitrios Milios

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:259072&oldid=6257087"
Powered by MediaWiki