Pinned Repositories
MoULDyS
Monitoring of scattered uncertain logs using uncertain linear dynamical systems
codeToPN
Traduction from C code to Petri-Nets
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.
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.
PolyOp
Operations on Polyhedra (simple layer on PPL)
templates-latex
Some LaTeX templates to mimick the MS W*rd templates for some project/grant submissions (mostly French)
imitator
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
sandbox
Repository containing old files or files to test ideas
web
Web page Petri Nets 2025
etienneandre's Repositories
etienneandre/templates-latex
Some LaTeX templates to mimick the MS W*rd templates for some project/grant submissions (mostly French)
etienneandre/PolyOp
Operations on Polyhedra (simple layer on PPL)
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.
etienneandre/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.