Bisimulation metrics and norms for real-weighted automataOpen Website

Borja Balle, Pascale Gourdeau, Prakash Panangaden

2022 (modified: 31 Mar 2023)Inf. Comput. 2022Readers: Everyone
0 Replies