"Exact Computation of Maximal Invariant Sets for Safe Markov Chains - ..."

Dylan Janak, Pierre-Loïc Garoche, Behçet Açikmese (2022)

Details and statistics

DOI: 10.1109/TAC.2022.3211959

access: closed

type: Journal Article

metadata version: 2023-01-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics