Back to PRISM Model Checker
GSoC 2016

Enhanced Strategy Functionality for PRISM

Project details

Contributor

Ganindu

Mentors

Dave Parker, Gethin

Technologies

Not listed in the archive