An open tool to compute stochastic bounds on steady-state distributions and rewards.

Jean-Michel Fourneau, Mathieu Le Coz, Nihal Pekergin, Franck Quessette

Browse the full MASCOTS paper archive.