-
acacia-bonsai Public
A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
-
-
pomdps-reveal Public
Experiments with POMDPs with revelations
-
-
-
syfco Public
Forked from reactive-systems/syfcoSynthesis Format Conversion Tool
Haskell MIT License UpdatedMay 6, 2025 -
-
-
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 UpdatedNov 9, 2024 -
TaylorModels.jl Public
Forked from JuliaIntervals/TaylorModels.jlRigorous function approximation using Taylor models in Julia
Julia Other UpdatedOct 29, 2024 -
TaylorSeries.jl Public
Forked from JuliaDiff/TaylorSeries.jlTaylor polynomial expansions in one and several independent variables.
Julia Other UpdatedOct 24, 2024 -
-
-
-
dlx4q Public
Dancing links Algorithm X for model counting as required when encoding quantum circuits
Python MIT License UpdatedSep 2, 2024 -
tlsf Public
Utilities and tools for TLSF: A language for reactive synthesis specifications
C GNU General Public License v3.0 UpdatedAug 22, 2024 -
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 -
-
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
{{ message }}