fimdp (pypi): Package with tools for Resource-constrained Markov Decision Processes
Keywords: polynomial-time|buchi-objective|agent|cmdp|controller-synthesis|formal-methods