Publication Library
Filters
Model checking Model checking Markov processes Probabilistic logic Probabilistic logic Computational modeling Computational modeling Markov processes Markov processes
Citation | Research Areas | Publication Date |
---|---|---|
H. Lin, "Permissive Supervisor Synthesis for Markov Decision Processes through Learning" accepted by IEEE Transactions on Automatic Control, Nov. 2018 | Nov. 2018 |