Edinburgh Research Explorer

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 in Continuous-Time Markov Decision Processes using Gaussian Processes

    Research output: Contribution to journalArticlepeer-review

  3. 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