Timed comparisons of semi-Markov processes

Speaker(s)

Nathanael Fijalkow

Affiliation

University College London

Date

Oct. 18, 2017, 2:15 p.m.

Room

room 5050

Seminar

Seminar Automata Theory

---

A semi-Markov process is like a Markov process, but each transition takes some time to get fired, and this time is determined by a probabilistic distribution over the non-negative reals.
In this talk I will discuss algorithms for determining whether a semi-Markov process is faster than another, or whether two semi-Markov processes are equally fast.
Joint work with Mathias R. Pederson from Aalborg.

---