Parameterized weighted containment

DOI10.1145/2665076MaRDI QIDQ2946752zbMATH OpenOpenAlexFDO

Authors Guy Avni, Orna Kupferman

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2665076

zbMATH Keywords

weighted automataquantitative verificationellipsoid methodpartially specified systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Parameterized Weighted Containment
• Making weighted containment feasible: a heuristic based on simulation and abstraction
• Quantitative Languages
• Quantitative languages
• The inclusion problem for weighted automata on infinite trees

Cites work

• scientific article; zbMATH DE number 1670794 (Why is no real title available?)
• scientific article; zbMATH DE number 3644821 (Why is no real title available?)
• scientific article; zbMATH DE number 176727 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• Algorithm Theory - SWAT 2004
• Complexity of automaton identification from given data
• Computer Aided Verification
• Expressiveness and closure properties for quantitative languages
• Making weighted containment feasible: a heuristic based on simulation and abstraction
• On Linear Characterizations of Combinatorial Optimization Problems
• Parametric real-time reasoning
• Quantitative Languages
• Quantitative Languages Defined by Functional Automata
• Reasoning about infinite computations
• THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
• The ellipsoid method and its consequences in combinatorial optimization
• What's decidable about weighted automata?

Cited in

(4)

• Making weighted containment feasible: a heuristic based on simulation and abstraction
• Parameterized Weighted Containment
• Stochastization of weighted automata
• Deterministic weighted automata under partial observability

This page was built for publication: Parameterized weighted containment

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