Skip to content
View sjunges's full-sized avatar
25 followers · 3 following

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report sjunges

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. stormchecker/storm stormchecker/storm Public

    A Modern Probabilistic Model Checker

    C++ 164 85

  2. stormchecker/stormpy stormchecker/stormpy Public

    Python Bindings for the Probabilistic Model Checker Storm

    C++ 41 20