-
University of Antwerp
- Antwerp, Belgium
- https://gaperez64.github.io/
-
-
-
-
dlx4q Public
Dancing links Algorithm X for model counting as required when encoding quantum circuits
Python MIT License UpdatedSep 2, 2024 -
acacia-bonsai Public
A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
-
tlsf Public
Utilities and tools for TLSF: A language for reactive synthesis specifications
C GNU General Public License v3.0 UpdatedAug 22, 2024 -
pomdps-reveal Public
Experiments with POMDPs with revelations
Python GNU General Public License v3.0 UpdatedAug 16, 2024 -
CSrankings Public
Forked from emeryberger/CSrankingsA 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.
Python Other UpdatedJun 23, 2024 -
regvsjax Public
Regina's model meets JAX
-
AbsSynthe Public
controller synthesis from succinct safety specifications
-
-
ASCertain.jl Public
Forked from darnstrom/ASCertain.jlJulia package for parametrically certifying the computational complexity of active-set QP methods
Julia MIT License UpdatedMar 7, 2024 -
dblp2mods Public
A script to translate DBLP xml into (FWO-friendly) MODS xml
Python GNU General Public License v3.0 UpdatedFeb 24, 2024 -
-
gnns Public
TF2 implementations of GNN architectures
-
aiger Public
Forked from arminbiere/aigerAIGER And-Inverter-Graph Library
C Other UpdatedApr 12, 2023 -
syfco Public
Forked from reactive-systems/syfcoSynthesis Format Conversion Tool
Haskell MIT License UpdatedMar 15, 2023 -
-
mfrl-exercises Public
Programming exercises for the Mathematical Foundations of RL course at UAntwerp
-
-
-
storm Public
Forked from moves-rwth/stormA Modern Probabilistic Model Checker
C++ GNU General Public License v3.0 UpdatedMar 17, 2021 -
task2aig Public
Translate the description of a deterministic task system to AIGER
C GNU General Public License v3.0 UpdatedAug 11, 2020 -
hoa2pg Public archive
Translator from extended HOA-format automata to a PGSolver-format parity game
1 UpdatedMay 16, 2020 -
acacia4aiger Public
A framework to feed TLSF input into acacia and transform the output to AIGER
-
GPOMCP Public
Guaranteed POMCP is a partial-observation Monte Carlo Planning algorithm for the guaranteed payoff optimization problem
-
AI-Toolbox Public
this is my clone of Svalorzen's AI-Toolbox
-
MeanPayoffSolver Public
Forked from romainbrenguier/MeanPayoffSolverA solver for Mean Payoff Games, based on gain and bias equations and the Z3 SMT solver.
C++ UpdatedAug 6, 2016 -
acacia_ltl2aig Public
Acacia+ snapshot with additional ltl2aig script
-