Last released Sep 14, 2026
Approximate Numerics in Applied Transition Environments: define, simulate, check, solve and plot MDPs and non-Markovian decision problems.
Last released Aug 15, 2026
Research Profile: Kabir Murjani