etienneandre/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.
OCamlGPL-3.0
No issues in this repository yet.