Guillermo A. Perez

Oink, an implementation of modern parity game solvers

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains

No description provided.

Repository to hold some files to play around with Strahler trees.

Experiments with POMDPs with revelations

A collection of tools for generating, manipulating and - most of all - solving parity games.

Personal scripts, dev tools and stuff

controller synthesis from succinct safety specifications

this is my clone of Svalorzen's AI-Toolbox

Dancing links Algorithm X for model counting as required when encoding quantum circuits

Utilities for the anylisis of hybrid systems

Playing with EPAD

No description provided.

Synthesis Format Conversion Tool

Gather stats from a csv with student-related info

A framework to feed TLSF input into acacia and transform the output to AIGER

Rigorous function approximation using Taylor models in Julia

Taylor polynomial expansions in one and several independent variables.

No description provided.

Utilities and tools for TLSF: A language for reactive synthesis specifications

Julia package for parametrically certifying the computational complexity of active-set QP methods

TF2 implementations of GNN architectures

No description provided.

AIGER And-Inverter-Graph Library

Benchmarks used for the synthesis competition since 2014

A script to translate DBLP xml into (FWO-friendly) MODS xml

Translator from extended HOA-format automata to a PGSolver-format parity game

No description provided.

Programming exercises for the Mathematical Foundations of RL course at UAntwerp

No description provided.