Edinburgh Research Explorer

Mr. Dimitrios Milios

(Former employee or visitor)

Research outputs

  1. Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (14) »

ID: 3592399