From 390a2ada04a6f2df8f19b4a93be8fbe451fc1b04 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Fri, 29 May 2020 09:47:03 -0700 Subject: [PATCH] remove test file that should not have been committed --- simplest.pomdp | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 simplest.pomdp diff --git a/simplest.pomdp b/simplest.pomdp deleted file mode 100644 index b27e800cb..000000000 --- a/simplest.pomdp +++ /dev/null @@ -1,18 +0,0 @@ -pomdp - -observable "end" = s=5; -observable "trap" = s=4; - -module main - s : [0..5] init 0; - [a] s = 0 -> 0.25: (s'=1) + 0.25: (s'=2) + 0.5:(s'=3); - [b] s=0 -> 0.5: (s'=1) + 0.5: (s'=2); - [a] s=1 -> (s'=2); - [a] s=2 -> (s'=1); - [b] s=1 -> (s'=4); - [b] s=2 -> (s'=5); - [a] s=3 -> (s'=5); - [b] s=3 -> (s'=5); -endmodule - -label "goal" = s=5; \ No newline at end of file