Skip to content
GitLab
Explore
Sign in
Admin message
2024-07-31
: Due to updates GitLab may be unavailable for some minutes between 13:00 and 15:00.
Overview
Active
Stale
All
Active branches
master
default
protected
e082d3b6
·
Revert choice specialization, responsibility of caller
·
May 24, 2024
Stale branches
mean-payoff
8a1c4afd
·
Added confidence width notion to restricted mec value iterator.
·
Jul 26, 2021
greybox-mean-payoff
761e0286
·
Fixed some bugs.
·
Oct 20, 2021
mean-payoff-ctmdp
3aa69f0b
·
Initial implementation of quadratic program to solve meanpayoff for a partial blackbox MDP model.
·
Jun 13, 2022
heisenbugs
92b39c5b
·
Heisenbugs!
·
Mar 14, 2023
mean-payoff-level-up
784e4598
·
Completed blackbox
·
Apr 29, 2023