cxlvinchau

hips

A Python library for heuristically solving mixed integer programs

automatapy

A Python library for finite automata

LiNNA

lasso

Simple analysis and model checking tool for finite discrete time-homogeneous Markov chains. Model checks PCTL properties and computes transient and steady state distribution.

pydd

Pure Python implementation of decision diagrams.

vnmc

A (probabilistic) model checking toolkit fully implemented in Python

ag-triples

Assume Guarantee Triples

cxlvinchau

Config files for my GitHub profile.

data-science-interviews

Data science interview questions and answers

eran

ETH Robustness Analyzer for Deep Neural Networks

hips-examples

Repository containing examples for HIPS

Marabou

prism-games

The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

probisim

Probabilistic Bisimulation defined on Distributions

finance-dashboard

games

mu-calculus

prism-benchmarks

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

prism_py

A simple Python library for manipulating PRISM programs

probabilistic-model-checking

Implementation of some concepts of probabilistic model checking

python-algorithms-ds

A repository containing Python implementations of algorithms and data structures

reluplex-calculus

storm

A Modern Probabilistic Model Checker

storm-project-starter-cpp

Starter project for the C++ API of Storm

symchecker

symchecker is Python libary for symbolic and explicit-state model checking.