Fixed wrong properties for dec-tiger sketches

randriu · May 31, 2024 · b690fa7 · b690fa7
1 parent a0e12b7
commit b690fa7
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 9 deletions.
diff --git a/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-2fsc/sketch.props b/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-2fsc/sketch.props
@@ -1,6 +1,4 @@
-R[exp]{"rew"}max=? [C{0.9}]
-
-//R{"rew"}max=? [F "goal"]
+R{"rew"}max=? [F "goal"]
 
 //R{"steps"}min=? [F "goal"]
 

diff --git a/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-3fsc/sketch.props b/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-3fsc/sketch.props
@@ -1,6 +1,4 @@
-R[exp]{"rew"}max=? [C{0.9}]
-
-//R{"rew"}max=? [F "goal"]
+R{"rew"}max=? [F "goal"]
 
 //R{"steps"}min=? [F "goal"]
 

diff --git a/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-4fsc/sketch.props b/models/archive/jair24-synthesis/dec-pomdp/dec-tiger-4fsc/sketch.props
@@ -1,6 +1,4 @@
-R[exp]{"rew"}max=? [C{0.9}]
-
-//R{"rew"}max=? [F "goal"]
+R{"rew"}max=? [F "goal"]
 
 //R{"steps"}min=? [F "goal"]