Geek Repo
followers
following
stars
Company:Rock and Roll y Fiebre
Location:Sobre la muralla que divide todo lo que fué de lo que será
Twitter:@matiasbrizzio
Github PK Tool:Github PK Tool
🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
🧩 Solver for N-Puzzle & N-Queens using Genetic Algorithms, A*, and more in Python