PAWS: a tool for the analysis of weighted systems

DOI10.4204/EPTCS.250.5MaRDI QIDQ7021646zbMATH OpenFDO

Authors Barbara König, Sebastian Küpper, Christina Mika

Publication date 26 February 2025

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4204/EPTCS.250.5

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Symbolic computation and algebraic computation (68W30)

Cites work

• A Coalgebraic Perspective on Minimization and Determinization
• A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
• A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata
• Checking NFA equivalence with bisimulations up to congruence
• Conjugacy and Equivalence of Weighted Automata and Functional Transducers
• FPsolve: a generic solver for fixpoint equations over semirings
• Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata
• Handbook of weighted automata
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3371972 (Why is no real title available?)
• Latticed simulation relations and games
• Minimax algebra
• On the definition of a family of automata
• THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
• Up-To Techniques for Weighted Systems
• Weighted Bisimulation in Linear Algebraic Form
• What's decidable about weighted automata?

Cited in

(1)

• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: PAWS: a tool for the analysis of weighted systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7021646)