Computing Branching Distances Using Quantitative Games

Theoretical Aspects of Computing – ICTAC 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32505-3_4 ◽

2019 ◽

pp. 59-75 ◽

Cited By ~ 1

Author(s):

Uli Fahrenberg ◽

Axel Legay ◽

Karin Quaas

Download Full-text