Ben Wooding's Projects
A fun card game idea that I came up with my friend Eugene.
This repository contains code snippets for wordpress which connect a users website with SERPAPI to get results from Google Scholar.
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. IMPaCT is an open-source software tool for the parallelized verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs).
Machine Learning Code for practice and also reference for future needs. Created using pycharm.
Python object oriented programming of a pokemon game state (using gen 5 pokemon). Allows for someone to simulate a pokemon battle ahead of time to do analysis and choose optimal moves.
PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle discrete-time stochastic systems, continuous-time stochastic systems, discrete-time deterministic systems and continuous-time deterministic systems.
Some code used to scrape the data for pokemon from the serebii.com website