/ImpRator

ImpRator (Inverse Method for Policy with Reward AbstracT behaviOR) is a prototype implementation to compute parameter valuations in parametric Markov decision processes such that optimal policies remain optimal.

Primary LanguageOCamlGNU General Public License v3.0GPL-3.0

No issues in this repository yet.