marcosaelzer

University of Kassel

Pinned Repositories

LocalHOFPIter
A conceptual implementation of local higher-order fixpoint iteration
Language:OCaml00
marcosaelzer.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00
NN2NFA
Benchmarks for the DNN to FA translation proposed in 'Verifying Output Reachability of Neural Networks Using Finite Automata'
Language:Python0 2 00
pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games.
Language:OCaml00
LocalHOFPIter
A conceptual implementation of local higher-order fixpoint iteration
Language:OCaml01

marcosaelzer/LocalHOFPIter
A conceptual implementation of local higher-order fixpoint iteration
Language:OCaml00
marcosaelzer/marcosaelzer.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00
marcosaelzer/NN2NFA
Benchmarks for the DNN to FA translation proposed in 'Verifying Output Reachability of Neural Networks Using Finite Automata'
Language:Python0 2 00
marcosaelzer/pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games.
Language:OCaml00