On the Verification of Weighted Kripke Structures Under Uncertainty

DOI10.1007/978-3-319-99154-2_5MaRDI QIDQ6104802zbMATH OpenOpenAlexFDO

Authors Giovanni Bacci, Kim G. Larsen

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)

Recommendations

• Quantitative Verification of Weighted Kripke Structures
• Parametric verification of weighted systems
• A quantitative characterization of weighted Kripke structures in temporal logic
• A quantitative characterization of weighted Kripke structures in temporal logic
• Parameterized model checking of weighted networks

Cites work

• A quantitative characterization of weighted Kripke structures in temporal logic
• Bayesian filtering and smoothing
• Extended dependency graphs and efficient distributed fixed-point computation
• Handbook of weighted automata
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• On exponential bounds for binomial probabilities
• Parametric verification of weighted systems
• Probabilistic Weighted Automata
• Some inequalities relating to the partial sum of binomial probabilities
• Stochastization of weighted automata

Cited in

(4)

• Quantitative Verification of Weighted Kripke Structures
• Generalising KAT to Verify Weighted Computations
• Parametric verification of weighted systems
• Verificaton, falsification, and cancellation in KT

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

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