GabVenturato
I'm a Computer Science PhD student in the DTAI Lab (Declarative Languages and Artificial Intelligence) at KU Leuven.
KU Leuven
Pinned Repositories
black
BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
applied-statistics-project
In-depth analysis about rminer package for regression. Project from my Applied Statistics and Data Analysis course in CS master degree.
arproject
Project from my Automated Reasoning course in CS master degree
asdproject
Project from my Algorithms and Data Structures course in CS bachelor degree
autointersection
Distributed solution to let autonomous vehicles to cross an intersection. From my Distributed Systems course in CS master degree.
BROPOP
The DESPOT online POMDP solver
ltl-rmpast
Remove past from an LTL+Past formula, producing an LTL equisatisfiable one
permutation-flowshop-scheduling
Project from my Advanced Scheduling Systems course in CS master degree.
mapl-cirup
MArkov PLanning with CIRcuit bellman UPdates
problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
GabVenturato's Repositories
GabVenturato/applied-statistics-project
In-depth analysis about rminer package for regression. Project from my Applied Statistics and Data Analysis course in CS master degree.
GabVenturato/arproject
Project from my Automated Reasoning course in CS master degree
GabVenturato/autointersection
Distributed solution to let autonomous vehicles to cross an intersection. From my Distributed Systems course in CS master degree.
GabVenturato/ltl-rmpast
Remove past from an LTL+Past formula, producing an LTL equisatisfiable one
GabVenturato/permutation-flowshop-scheduling
Project from my Advanced Scheduling Systems course in CS master degree.
GabVenturato/asdproject
Project from my Algorithms and Data Structures course in CS bachelor degree
GabVenturato/BROPOP
The DESPOT online POMDP solver
GabVenturato/droidcam
Official Linux Client code for DroidDcam
GabVenturato/local-backup
Bash script to backup in a local repository with restic
GabVenturato/gabventurato.github.com
GabVenturato/neurosat
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
GabVenturato/Paper-AC-Decisions-Learning
The code used for the paper: Algebraic Circuits for Decision Theoretic Inference and Learning
GabVenturato/rddlsim
rddlsim with support for mapl-cirup language
GabVenturato/sudokusolver