On the Verification of Weighted Kripke Structures Under Uncertainty

DOI10.1007/978-3-319-99154-2_5zbMath1514.68116OpenAlexW2887376227MaRDI QIDQ6104802

Kim Guldstrand Larsen, Giovanni Bacci, Unnamed Author

Publication date: 28 June 2023

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://vbn.aau.dk/da/publications/a2bade4c-8790-48a2-b511-078a01f5ac87

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some inequalities relating to the partial sum of binomial probabilities
• Handbook of weighted automata
• Extended dependency graphs and efficient distributed fixed-point computation
• On exponential bounds for binomial probabilities
• Stochastization of Weighted Automata
• Probabilistic Weighted Automata
• Parametric Verification of Weighted Systems

This page was built for publication: On the Verification of Weighted Kripke Structures Under Uncertainty