etienneandre

Étienne André's repositories

PolyOp

Operations on Polyhedra (simple layer on PPL)

Language:OCamlGPL-3.02 3 1

templates-latex

Some LaTeX templates to mimick the MS W*rd templates for some project/grant submissions (mostly French)

Language:TeXGPL-3.02 20

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.

Language:OCamlGPL-3.0000

InSPEQTor

InSPEqTor (INference of Shortest Paths with EQuivalent abstracT behaviOR) is a prototype implementation to compute parameter valuations in parametric directed weighted graphs such that shortest paths are preserved.

Language:OCamlGPL-3.0020