AlexBork

PhD student at the Software Modeling and Verification Group @ RWTH Aachen University

@moves-rwth Aachen

Pinned Repositories

homebrew-misc
A repository containing miscellaneous homebrew formulas.
Language:Ruby00
homebrew-storm
Language:Ruby00
POMDPs.jl
MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially observable Markov decision processes on discrete and continuous spaces.
Language:Julia00
rew-bounded-benchmarking
Language:Python00
storm
A Modern Probabilistic Model Checker
Language:C++01
stormpy
Python Bindings for the Probabilistic Model Checker Storm
Language:C++00
POMDPs.jl
MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially observable Markov decision processes on discrete and continuous spaces.
Language:Julia662 43 345100
pomdp-collection
Collection of partially observable MDPs described using the PRISM language
0 2 01
storm
A Modern Probabilistic Model Checker
Language:C++132 16 23374
stormpy
Python Bindings for the Probabilistic Model Checker Storm
Language:C++29 9 8416

AlexBork's Repositories

AlexBork/homebrew-misc
A repository containing miscellaneous homebrew formulas.
Language:Ruby00
AlexBork/homebrew-storm
Language:Ruby00
AlexBork/POMDPs.jl
MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially observable Markov decision processes on discrete and continuous spaces.
Language:Julia00
AlexBork/rew-bounded-benchmarking
Language:Python00
AlexBork/storm
A Modern Probabilistic Model Checker
Language:C++01
AlexBork/stormpy
Python Bindings for the Probabilistic Model Checker Storm
Language:C++00