On metrics for probabilistic systems: definitions and algorithms

DOI10.1016/j.camwa.2008.10.041zbMath1186.68250OpenAlexW2091451423MaRDI 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

algorithmmetricbehavioral equivalenceprobabilistic systemssimple probabilistic automata

Mathematics Subject Classification ID

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

Related Items (3)

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

This page was built for publication: On metrics for probabilistic systems: definitions and algorithms