Found results (2):

Sampling Distributed Schedulers for Resilient Space Communication (Artifact)
Posted on 2020-11-03T13:29:21
Lightweight Statistical Model Checking in Nondeterministic Continuous Time (Artifact)
Posted on 2018-09-25T00:00:00