Skip to content

Commit

Permalink
Merge pull request #37 from TheGreatfpmK/CPOMDP
Browse files Browse the repository at this point in the history
Added support for constrained cassandra POMDPs
  • Loading branch information
TheGreatfpmK authored Feb 15, 2024
2 parents 54209ce + 1e14ca4 commit ed29356
Show file tree
Hide file tree
Showing 22 changed files with 5,618 additions and 7 deletions.
2 changes: 2 additions & 0 deletions models/cassandra/max_discounted_reward_constrained.props
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
R[exp]{"reward"}max=? [F "discount_sink"]
R[exp]{"constraint"}<=53 [F "discount_sink"]
1 change: 1 addition & 0 deletions models/tac24/cpomdp/iff/constraint_bound.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
0
2 changes: 2 additions & 0 deletions models/tac24/cpomdp/iff/sketch.props
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
R[exp]{"reward"}max=? [F "discount_sink"]
R[exp]{"constraint"}<=4 [F "discount_sink"]
Loading

0 comments on commit ed29356

Please sign in to comment.