Pages that link to "Item:Q971582"

The following pages link to On metrics for probabilistic systems: definitions and algorithms (Q971582):

Displaying 2 items.

• The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456) (← links)
• Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)