-
๐ฑ Iโm currently learning DevOps, MLOps
-
๐ฌ Ask me about Game Theory
-
๐ซ How to reach me tinacci.marco at gmail dot com
-
๐ Know about my experiences https://marcotinacci.github.io/
marcotinacci / swarmrobotics Goto Github PK
View Code? Open in Web Editor NEWBachelor'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.