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