Name: N
Type: User
Company: Rock and Roll y Fiebre
Bio: Thanks to capitalism, now you're reading me and not standing in line for a piece of stale bread. 🐘
Twitter: matiasbrizzio
Location: Sobre la muralla que divide todo lo que fué de lo que será
N's Projects
🧬 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