Updates and news regarding STAMINA development http://www.staminachecker.org STAMINA has been published in QEST and is available on Springer September 22, 2023 STAMINA/STORM has been accepted as a tool paper in the Conference on the [Q]uantitative [E]valuation of [S]ys[T]ems, and will be presented in Antwerp, Belgium, in September. Jun 30 2023 Submitted as Tool Paper to QEST'23 May 2023 Included code cleanup, namespace reorganization, and speed improvements. Jun 14, 2022 May 26, 2022 (approx) First usable version of STAMINA 2.0 algorithm implemented in STAMINA/STORM. Jun 1, 2021 (approx) Josh Jeppson takes over STAMINA/STORM codebase. Jan 1, 2022 (approx) Riley Roberts improves the STAMINA algorithm to allow for more efficient re-exploration of states and prevention of "lost" probability. July 25, 2021 (approx) Riley Roberts takes over STAMINA codebase. April 17, 2019 STAMINA 1.0 (integrated with PRISM) was accepted to CAV 2019 on April 17. This version of STAMINA is developed by Thakur Neupane