Name: Guillermo A. Perez
Type: User
Company: University of Antwerp
Bio: I am a software engineer turned computer scientist. My interests include formal verification, learning theory, and theoretical computer science in general.
Location: Antwerp, Belgium
Blog: https://gaperez64.github.io/
Guillermo A. Perez's Projects
controller synthesis from succinct safety specifications
A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
A framework to feed TLSF input into acacia and transform the output to AIGER
Acacia+ snapshot with additional ltl2aig script
this is my clone of Svalorzen's AI-Toolbox
AIGER And-Inverter-Graph Library
Julia package for parametrically certifying the computational complexity of active-set QP methods
Benchmarks used for the synthesis competition since 2014
Set of benchmarks created by ULB for SYNTCOMP15
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.
A script to translate DBLP xml into (FWO-friendly) MODS xml
Dancing links Algorithm X for model counting as required when encoding quantum circuits
TF2 implementations of GNN architectures
Guaranteed POMCP is a partial-observation Monte Carlo Planning algorithm for the guaranteed payoff optimization problem
Translator from extended HOA-format automata to a PGSolver-format parity game
Utilities for the anylisis of hybrid systems
A solver for Mean Payoff Games, based on gain and bias equations and the Z3 SMT solver.
Programming exercises for the Mathematical Foundations of RL course at UAntwerp
A Lean Theory of Mealy Machines with Timers
Experiments with POMDPs with revelations
Regina's model meets JAX
Personal scripts, dev tools and stuff
A Modern Probabilistic Model Checker
Synthesis Format Conversion Tool
Translate the description of a deterministic task system to AIGER
Utilities and tools for TLSF: A language for reactive synthesis specifications