research
∙
09/02/2021
Coalgebras for Bisimulation of Weighted Automata over Semirings
Weighted automata are a generalization of nondeterministic automata that...
research
∙
04/02/2018