gaperez64
I am a software engineer turned computer scientist. My interests include formal verification, learning theory, and theoretical computer science in general.
University of AntwerpAntwerp, Belgium
Pinned Repositories
AbsSynthe
controller synthesis from succinct safety specifications
acacia-bonsai
A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
acacia4aiger
A framework to feed TLSF input into acacia and transform the output to AIGER
acacia_ltl2aig
Acacia+ snapshot with additional ltl2aig script
AI-Toolbox
this is my clone of Svalorzen's AI-Toolbox
bench-syntcomp14
Benchmarks used for the synthesis competition since 2014
gaperez64.github.io
GPOMCP
Guaranteed POMCP is a partial-observation Monte Carlo Planning algorithm for the guaranteed payoff optimization problem
mfrl-exercises
Programming exercises for the Mathematical Foundations of RL course at UAntwerp
tlsf2gpg
gaperez64's Repositories
gaperez64/AbsSynthe
controller synthesis from succinct safety specifications
gaperez64/acacia-bonsai
A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
gaperez64/acacia4aiger
A framework to feed TLSF input into acacia and transform the output to AIGER
gaperez64/AI-Toolbox
this is my clone of Svalorzen's AI-Toolbox
gaperez64/GPOMCP
Guaranteed POMCP is a partial-observation Monte Carlo Planning algorithm for the guaranteed payoff optimization problem
gaperez64/gaperez64.github.io
gaperez64/mfrl-exercises
Programming exercises for the Mathematical Foundations of RL course at UAntwerp
gaperez64/tlsf2gpg
gaperez64/aiger
AIGER And-Inverter-Graph Library
gaperez64/ASCertain.jl
Julia package for parametrically certifying the computational complexity of active-set QP methods
gaperez64/cm-sim
gaperez64/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
gaperez64/dblp2mods
A script to translate DBLP xml into (FWO-friendly) MODS xml
gaperez64/dlx4q
Dancing links Algorithm X for model counting as required when encoding quantum circuits
gaperez64/endofepi
gaperez64/gnns
TF2 implementations of GNN architectures
gaperez64/hoa2pg
Translator from extended HOA-format automata to a PGSolver-format parity game
gaperez64/hybberish
Utilities for the anylisis of hybrid systems
gaperez64/MeanPayoffSolver
A solver for Mean Payoff Games, based on gain and bias equations and the Z3 SMT solver.
gaperez64/mmt-blue
A Lean Theory of Mealy Machines with Timers
gaperez64/pomdps-reveal
Experiments with POMDPs with revelations
gaperez64/regvsjax
Regina's model meets JAX
gaperez64/scripts
Personal scripts, dev tools and stuff
gaperez64/storm
A Modern Probabilistic Model Checker
gaperez64/syfco
Synthesis Format Conversion Tool
gaperez64/task2aig
Translate the description of a deterministic task system to AIGER
gaperez64/TaylorSeries.jl
Taylor polynomial expansions in one and several independent variables.
gaperez64/tcs-vlaanderen
Showcase researchers of Flanders doing TCS
gaperez64/tlsf
Utilities and tools for TLSF: A language for reactive synthesis specifications
gaperez64/verisig