Linear-Time and May-Testing in a Probabilistic Reactive Setting.

Lucia Acciai, Michele Boreale, Rocco De Nicola

Browse the full FORTE paper archive.