sjunges
Assistant Professor at the Radboud University Nijmegen. Previously at Berkeley @BerkeleyLearnVerify and RWTH Aachen University @moves-rwth
Radboud UniversityNijmegen
Pinned Repositories
storm
A Modern Probabilistic Model Checker
stormpy
Python Bindings for the Probabilistic Model Checker Storm
2021
The Workshop on Verification of Probabilistic Programs
al-folio
A beautiful Jekyll theme for academics
BoundedModelChecking
Bounded Model Checking using #SAT
hotcrp-on-docker
An easy docker compose deployement of hotcrp
level-up
rubicon
Dice for Probabilistic Model Checking
shielding-POMDPs
Supplementary Material on Shielding for POMDPs
storm
A Modern Probabilistic Model Checker
sjunges's Repositories
sjunges/rubicon
Dice for Probabilistic Model Checking
sjunges/shielding-POMDPs
Supplementary Material on Shielding for POMDPs
sjunges/BoundedModelChecking
Bounded Model Checking using #SAT
sjunges/hotcrp-on-docker
An easy docker compose deployement of hotcrp
sjunges/level-up
sjunges/storm
A Modern Probabilistic Model Checker
sjunges/2021
The Workshop on Verification of Probabilistic Programs
sjunges/carl
sjunges/carl-storm
sjunges/cegispro2
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
sjunges/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
sjunges/dfa
A simple python implementation of a DFA.
sjunges/dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
sjunges/forward-prototype
sjunges/gridworld-by-storm
Visualising Gridworld Demos with Storm
sjunges/Lcap
Python Library For Learning Language Intersections
sjunges/parametric-Markov-models
sjunges/pMDPsynthesis
This repository contains benchmark files for Convex Optimization for Parameter Synthesis in MDPs
sjunges/premise-mdp-benchmarks
Set of challenging MDP model checking queries from the premise tool
sjunges/prism-benchmarks
The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.
sjunges/prophesy
Parameter Synthesis in Markov Models
sjunges/py-aiger
py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
sjunges/pycarl
Python bindings for carl
sjunges/sebastian-junges
Personal Website
sjunges/semantle-nl-php
Semantle - Dutch version
sjunges/sen-symposium
sjunges/shield-in-action
sjunges/sjunges.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
sjunges/stormpy
Python Bindings for the Probabilistic Model Checker Storm
sjunges/synthesis