MaRDI QIDQ5856412
Radu Mardare, Giorgio Bacci, Franck Van Breugel, Kim Guldstrand Larsen, Giovanni Bacci, Qiyi Tang
Publication date: 26 March 2021
Full work available at URL: https://arxiv.org/abs/1907.01768
zbMATH Keywords
stochastic games; probabilistic automata; behavioural pseudometrics
Mathematics Subject Classification ID
03B70: Logic in computer science
68-XX: Computer science