List view

• Azure Deployment of STAMINA

  Dockerize STAMINA, write small front-end on https://staminachecker.org/run, create REST API, and deploy to Azure

  No due date

  •1/2 issues closed
  50% complete1 open1 closed

• STAMINA 3.0 - Priority queue on estimated reachability and optional heuristic algorithm

  This would implement two major algorithm changes (which are mutually exclusive and would offer the choice to the user): 1. Change the two inner loops to one loop which is a single breadth-first priority search on the estimated reachability of a state, keeping track of the number of terminal states using an integer and estimating `piHat` using `piHat = numTerminal * kappa`. 2. **Other option for user**: there is a heuristic algorithm I developed last fall which is untested but could be beneficial on some types of models. We desire to implement and test this algorithm, and if it's beneficial, include it optionally within STAMINA 3.0

  No due date

  •1/1 issues closed
  100% complete0 open1 closed

• STAMINA 2.5 - STAMINA 2.0 with dynamic programming

  We desire to add dynamic programming improvements to STAMINA which would prevent re-exploration of states within every iteration of the breadth-first search.

  No due date

  •6/9 issues closed
  66% complete3 open6 closed