Dylan Janak’s Paper Accepted at TAC

Exact Computation of Maximal Invariant Sets for Safe Markov Chains, by Dylan Janak and Behçet Açıkmeşe, accepted at IEEE Transactions on Automatic Control.