How to Tackle Integer Weighted Automata Positivity
From MaRDI portal
Publication:3646253
DOI10.1007/978-3-642-04420-5_9zbMath1260.68196OpenAlexW1827294825MaRDI QIDQ3646253
Olga Kouchnarenko, Pierre-Cyrille Héam, Yohan Boichut
Publication date: 19 November 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04420-5_9
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
- A theoretical limit for safety verification techniques with regular fix-point computations
- Reduction and covering of infinite reachability trees
- Finite-valued distance automata
- Enhancements of partitioning techniques for image compression using weighted finite automata.
- Weighted automata and weighted logics
- Structural Presburger digit vector automata
- On the optimal reachability problem of weighted timed automata
- Optimal reachability for multi-priced timed automata
- Finer Is Better: Abstraction Refinement for Rewriting Approximations
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA
- Performance evaluation of (max,+) automata
- A classification of symbolic transition systems
- Automated Reasoning
- Computer Aided Verification
- Experimental Evaluation of Classical Automata Constructions
- Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata
- Rewriting Approximations for Fast Prototyping of Static Analyzers
- Towards an Efficient Implementation of Tree Automata Completion
- Bounded Regular Sets
- An approximate determinization algorithm for weighted finite-state automata
- Well-structured transition systems everywhere!
This page was built for publication: How to Tackle Integer Weighted Automata Positivity
