sjunges Goto Github PK

2021

The Workshop on Verification of Probabilistic Programs

al-folio

A beautiful Jekyll theme for academics

boundedmodelchecking

Bounded Model Checking using #SAT

carl

carl-storm

cegispro2

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

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.

dfa

A simple python implementation of a DFA.

dice

Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

forward-prototype

gridworld-by-storm

Visualising Gridworld Demos with Storm

heuristic_optimization

Heuristics for derivative-free optimization

hotcrp-on-docker

An easy docker compose deployement of hotcrp

lcap

Python Library For Learning Language Intersections

level-up

parametric-markov-models

pmdpsynthesis

This repository contains benchmark files for Convex Optimization for Parameter Synthesis in MDPs

premise-mdp-benchmarks

Set of challenging MDP model checking queries from the premise tool

prism-benchmarks

The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.

prophesy

Parameter Synthesis in Markov Models

py-aiger

py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).

pycarl

Python bindings for carl

rubicon

Dice for Probabilistic Model Checking

sebastian-junges

Personal Website

semantle-nl-php

Semantle - Dutch version

sen-symposium

shield-in-action

shielding-pomdps

Supplementary Material on Shielding for POMDPs

sjunges.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

storm

A Modern Probabilistic Model Checker