The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

constructing network data from text data

Solving the problem « Who killed the Duke of Densmore? » with graphs and Java.

Game-theory based algorithms

A simple Java implementation of a pile system.

Final project for CGT where game theorems were proven via dynamic programming.

A prototype model checker for a weighted doxastic logic

This repository contains core algorithms for Automated Mechanism Design (AMD).