MatiasBrizzio

Follow

🦁

Long Live Freedom

N MatiasBrizzio

🦁

Long Live Freedom

Follow

Thanks to capitalism, now you're reading me and not standing in line for a piece of stale bread. 🐘

2 followers · 6 following

Rock and Roll y Fiebre
Sobre la muralla que divide todo lo que fué de lo que será
04:05 (UTC +02:00)
https://orcid.org/0009-0000-9427-9345
@matiasbrizzio
mnbrizzio
https://dblp.org/pid/293/9007.html

Achievements

Achievements

Block or Report

Block or report MatiasBrizzio

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

AuRUS AuRUS Public

🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.

Java 2 1
EstiMate EstiMate Public

EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.

Java 2