Supervisor synthesis of POMDP via automata learning
From MaRDI portal
Publication:2665148
DOI10.1016/j.automatica.2021.109654zbMath1478.93191MaRDI QIDQ2665148
Bo Wu, Hai Lin, Xiao-Bin Zhang
Publication date: 18 November 2021
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109654
supervisory control; formal methods; partially observable Markov decision process; automata learning
Uses Software