Labelled Markov Processes: Stronger and Faster Approximations

Vincent Danos, Josée Desharnais, Prakash Panangaden

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'Labelled Markov Processes: Stronger and Faster Approximations'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science