5 citations · 10 across the 6 of their papers we have counts for
1 paper · 1 filter
Maxence Dutreix, Samuel Coogan
We derive an algorithm to compute satisfiability bounds for arbitrary ω-regular properties in an Interval-valued Markov Chain (IMC) interpreted in the adversarial sense. IMCs gener…