Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables.

Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen

Browse the full FOSSACS paper archive.