Guillermo A. Perez (@gaperez64)
github

gaperez64

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    21
  • Global Rank 621,339 (Top 22 %)
  • Followers 16
  • Following 3
  • Registered about 12 years ago
  • Most used languages
    C++
         44.4 %
    C
         33.3 %
    TeX
         11.1 %
    Python
         11.1 %
  • Location 🇧🇪 Belgium
  • Country Total Rank 2,832
  • Country Ranking
    TeX
         209
    C
         230
    C++
         284
    Python
         1,975

Top repositories

1

AbsSynthe

controller synthesis from succinct safety specifications
C++
4
star
2

acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
C
4
star
3

acacia4aiger

A framework to feed TLSF input into acacia and transform the output to AIGER
C
3
star
4

bench-syntcomp14

Benchmarks used for the synthesis competition since 2014
2
star
5

GPOMCP

Guaranteed POMCP is a partial-observation Monte Carlo Planning algorithm for the guaranteed payoff optimization problem
C++
2
star
6

AI-Toolbox

this is my clone of Svalorzen's AI-Toolbox
C++
2
star
7

tlsf2gpg

C++
1
star
8

acacia_ltl2aig

Acacia+ snapshot with additional ltl2aig script
C
1
star
9

gaperez64.github.io

TeX
1
star
10

mfrl-exercises

Programming exercises for the Mathematical Foundations of RL course at UAntwerp
Python
1
star