Unambiguisability for min-plus weighted automata is decidable via reduction to determinisability, while counter minimization for tropical cost register automata is undecidable for seven or more registers.
What’s decidable about weighted automata?Information and Computation, 282:104651
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
method 1
citation-polarity summary
roles
method 1polarities
extend 1representative citing papers
Weighted NetKAT extends NetKAT with semiring weights and weighted NetKAT automata to enable automatic verification of quantitative safety and reachability properties.
citing papers explorer
-
Unambiguisability and Register Minimisation of Min-Plus Models
Unambiguisability for min-plus weighted automata is decidable via reduction to determinisability, while counter minimization for tropical cost register automata is undecidable for seven or more registers.
-
Weighted NetKAT: A Programming Language For Quantitative Network Verification
Weighted NetKAT extends NetKAT with semiring weights and weighted NetKAT automata to enable automatic verification of quantitative safety and reachability properties.