A Behavioural Pseudometric for Continuous-Time Markov Processes.

Linan Chen, Florence Clerc, Prakash Panangaden

Browse the full FOSSACS paper archive.