Liveness of Randomised Parameterised Systems under Arbitrary Schedulers.

Anthony W. Lin, Philipp Rmmer

Browse the full CAV paper archive.