no code implementations • 15 Jan 2024 • Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretinsky, Stefanie Mohr
Strategies for partially observable Markov decision processes (POMDP) typically require memory.
no code implementations • 26 May 2023 • Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretinsky, Jakob Waibel
We present MULTIGAIN 2. 0, a major extension to the controller synthesis tool MultiGain, built on top of the probabilistic model checker PRISM.
no code implementations • 10 Aug 2020 • Kush Grover, Jan Křetínský, Tobias Meggendorfer, Maximilian Weininger
As this problem is undecidable in general, assumptions on the MDP are necessary.