Skip to content
GitLab
Explore
Sign in
Admin message
29. April 2024
: Due to updates GitLab may be unavailable for some minutes between 10:00 and 12:00.
i7
Probabilistic Models
Repository
Branches
Overview
Active
Stale
All
mean-payoff
8a1c4afd
·
Added confidence width notion to restricted mec value iterator.
·
Jul 26, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
greybox-mean-payoff
761e0286
·
Fixed some bugs.
·
Oct 20, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mean-payoff-ctmdp
3aa69f0b
·
Initial implementation of quadratic program to solve meanpayoff for a partial blackbox MDP model.
·
Jun 13, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
fa6d4348
·
Merge branch 'simplify' into 'master'
·
Dec 04, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
heisenbugs
92b39c5b
·
Heisenbugs!
·
Mar 14, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mean-payoff-level-up
784e4598
·
Completed blackbox
·
Apr 29, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
prism-games
f1960f14
·
Remove checkstyle
·
Jul 13, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
delete-choice
9a3eb876
·
bla
·
Jan 05, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
games
f07f88cc
·
bla
·
Jan 19, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar