On metrics for probabilistic systems: definitions and algorithms

DOI10.1016/j.camwa.2008.10.041zbMath1186.68250MaRDI QIDQ971582

Tingting Han, Taolue Chen, Jian Lu

Publication date: 16 May 2010

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/on-metrics-for-probabilistic-systems-definitions-and-algorithms(a96d207c-0db3-418f-8c20-23b5ec0ee9a4).html

zbMATH Keywords

algorithm; metric; behavioral equivalence; probabilistic systems; simple probabilistic automata

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Unnamed Item, The approximate correctness of systems based on \(\delta\)-bisimulation, Polynomial-time algorithms for computing distances of fuzzy transition systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metrics for labelled Markov processes
• Bisimulation through probabilistic testing
• A behavioural pseudometric for probabilistic transition systems
• Validation of stochastic systems. A guide to current research.
• Reactive, generative, and stratified models of probabilistic processes
• A lattice-theoretical fixpoint theorem and its applications
• New results on quantifier elimination over real closed fields and applications to constraint databases
• Probabilistic automata
• Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems
• CONCUR 2005 – Concurrency Theory