On the Expressiveness and Complexity of Randomization in Finite State Monitors.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Browse the full LICS paper archive.