Permissive Supervisor Synthesis for Markov Decision Processes Through Learning

DOI10.1109/TAC.2018.2879505zbMath1482.90241arXiv1703.07351OpenAlexW2964263874WikidataQ128911357 ScholiaQ128911357MaRDI QIDQ5228317

Hai Lin, Xiao-Bin Zhang, Bo Wu

Publication date: 12 August 2019

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1703.07351

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Supervisor synthesis of POMDP via automata learning

This page was built for publication: Permissive Supervisor Synthesis for Markov Decision Processes Through Learning