ProbabilisticScheduler [dev.]