The source code and dockerfile for the GSW2024 AI Lab.
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
|
|
pomdp
observable "start" = s<3;observable "end" = s>4;
const double slippery;
module main s : [0..6] init 0; [alpha] s=0 -> (1-slippery) * 0.7: (s'=1) + (1-slippery) * 0.3: (s'=2) + slippery: true; [alpha] s>0 & s<5 -> (1-slippery): (s'=s+2) + slippery: true; [beta] s=3 -> (1-slippery): (s'=6) + slippery: true; [beta] s=4 -> (1-slippery): (s'=5) + slippery: true;endmodule
rewards [alpha] s=3: 0.5; [beta] s=4: 0.5; true : s * 0.05;endrewards
label "goal" = s=5;
|
