Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

zeroconf

Benchmarks

Task NameDataset NameSOTA ResultTrend
Policy Synthesiszeroconf Rmin
Execution Time (s)0.04
2
Value Iterationzeroconf correct min
Iterations22
2
Value Iterationzeroconf correct max
Iterations37
2
MDP Policy ReachabilityZeroconf
Percent States Seen14.2
1
Showing 4 of 4 rows