Maximal Invariant Set Computation and Design for Markov Chains. - Dylan Janak; Behçet Açikmese (ACC, 2019)

Markov decision processes with sequential sensor measurements. - Mahmoud El Chamie; Dylan Janak; Behçet Açikmese (Autom., 2019)

Discrete-Time Linear-Quadratic Regulation via Optimal Transport. - Mathias Hudoba de Badyn; Erik Miehling; Dylan Janak; Behçet Açikmese; Mehran Mesbahi; Tamer Basar; John Lygeros; Roy S. Smith (CDC, 2021)

Exact Computation of Maximal Invariant Sets for Safe Markov Chains - Lattice Theoretic Approach. - Dylan Janak; Pierre-Loïc Garoche; Behçet Açikmese (IEEE Trans. Autom. Control., 2022)