129 citations · 752 across the 80 of their papers we have counts for
1 paper · 1 filter
Ilya Tkachev, Alessandro Abate
This work is devoted to the formal verification of specifications over general discrete-time Markov processes, with an emphasis on infinite-horizon properties. These properties, fo…