-
Uppsala University
- Stockholm, Sweden
- http://demasellis.x10host.com
Block or Report
Block or report RiccardoDeMasellis
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
First-order-LTL-monitoring
First-order-LTL-monitoring PublicLibrary for automata-based monitoring of first-order LTL formulas with finite domain. The semantics of first-order LTL is on finite execution paths.
-
jautomata
jautomata PublicForked from abailly/jautomata
Java library for manipulating various kind of automata
Java
-
LTL-Synthesis
LTL-Synthesis PublicForked from simoneclr/LTL-Synthesis
Perform LTL Synthesis on finite traces
Java
-
fuzzyMiner
fuzzyMiner PublicA process model miner that, starting from a process log, returns a fuzzy Petri net.
Java
-
If the problem persists, check the GitHub status page or contact support.