zbMath1235.90176MaRDI QIDQ3104287
Yukihiro Maruyama
Publication date: 19 December 2011
zbMATH Keywords
finite automatarecursive bitone sequential decision process
Mathematics Subject Classification ID
Dynamic programming (90C39)