Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems.

Franck van Breugel, Babita Sharma, James Worrell

Browse the full FOSSACS paper archive.