ByNobleID
    A temporal logic for Markov chains | NobleID