tbadings

Pinned Repositories

lava-lab.github.io
Language:JavaScript00
prism
Dave's fork of the main development version of the PRISM model checker. http://www.prismmodelchecker.org/
Language:Java00
tbadings.github.io
Language:JavaScript01
DynAbs
Controller synthesis for uncertain dynamical systems via formal abstractions
Language:Python42
lava-lab.github.io
Language:JavaScript22
prmc-sensitivity
Language:Raku20
FBA
Language:Python00
neural_stochastic_control
Verified control of stochastic systems using neural certificates
Language:Python00
slurf
Sampling-Based Verification of CTMCs with Uncertain Rates
Language:Python00

tbadings's Repositories

tbadings/tbadings.github.io
Language:JavaScript1
tbadings/lava-lab.github.io
tbadings/prism
Dave's fork of the main development version of the PRISM model checker. http://www.prismmodelchecker.org/