Name: Calvin Chau
Type: User
Company: TU Dresden
Bio: PhD Student @ TU Dresden. Interested in probabilistic model checking, neural network verification and formal methods in general.
Location: Dresden, Germany
Blog: https://calvin-chau.com
Calvin Chau's Projects
Assume Guarantee Triples
A Python library for finite automata
Config files for my GitHub profile.
Data science interview questions and answers
ETH Robustness Analyzer for Deep Neural Networks
A Python library for heuristically solving mixed integer programs
Repository containing examples for HIPS
Simple analysis and model checking tool for finite discrete time-homogeneous Markov chains. Model checks PCTL properties and computes transient and steady state distribution.
Simple implementation of mu-calculus model checking
The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
A simple Python library for manipulating PRISM programs
Implementation of some concepts of probabilistic model checking
Probabilistic Bisimulation defined on Distributions
Pure Python implementation of decision diagrams.
A repository containing Python implementations of algorithms and data structures
A Modern Probabilistic Model Checker
Starter project for the C++ API of Storm
symchecker is Python libary for symbolic and explicit-state model checking.
A (probabilistic) model checking toolkit fully implemented in Python