marcotinacci/Markov-Population-Models
Public repository.
Public GitHub Catalog
Discovered Sep 25, 2026
marcotinacci / Gogl
Go player implementation for the Turing Anniversary Competition at the University of Florence
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#4795130GitHub System ID
marcotinacciOrganization / User
PublicVisibility
ActiveCatalog Status
More from marcotinacci
marcotinacci/pomdp-jresp
JResp is a Java environment implementation of the SCEL language. In this repository an extension of jResp is implemented to model partially observable models and policies synthesis currently computed employing the tool pomdp-solve.
marcotinacci/XTuring
Xtext training with a language for Turing machines
marcotinacci/SwarmRobotics
Bachelor's thesis in computer science. SEAL is a language developed in Xtext and Java that model probabilistic and nondeterministic behaviors of adaptive agents. SEAL is compiled in the Prism model checker language to compute strategies that maximize probabilities of goal formulas.