Publication [WintererJWJTKB20] Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions Winterer, L.; Junges, S.; Wimmer, R.; Jansen, N.; Topcu, U.; Katoen, J.-P. and Becker, B. In IEEE Transactions on Automatic Control: 1-1, 2020. doi.. Downloads: bib
