OpenAlex
Bisimulation metrics and norms for real-weighted automata
Work