activity
20112024
most citedBisimulations Meet PCTL Equivalences for Probabilistic Automata

20 citations · 53 across the 9 of their papers we have counts for

collaborators
Showing 2014 · cs.CLShow all

Nothing from them under that filter.

Their other years and fields are still on the left.