sp
/
Minigrid2PRISM
1
0
Fork 0
Code Issues 5 Pull Requests 1 Projects Releases Wiki Activity

Commit Graph

  • b816a1badb changed CMake to assume yaml cpp is installed #17 overwrites sp 2024-08-12 13:03:25 +0200
  • c11e85e191 adversaries are allowed to move on goal sp 2024-07-16 15:54:10 +0200
  • 3a34e0d065 properly calculate probabilites for new slippery sp 2024-02-10 13:08:33 +0100
  • 122ba1c5f0 do not model idle states sp 2024-02-10 12:40:05 +0100
  • 44caa12fe0 added logic for new slippery tiles sp 2024-02-09 22:23:36 +0100
  • 2e51e51320 introduced new slippery tiles sp 2024-02-09 22:23:19 +0100
  • 8719aa7c07 added logic for new slippery tiles modeltype sp 2024-02-09 22:23:36 +0100
  • 7924f28ae2 introduced new slippery tiles sp 2024-02-09 22:23:19 +0100
  • a459232e59 temporarily made all states init sp 2024-01-24 15:19:11 +0100
  • 83560bfc73 fixed conditional movement w.r.t doors sp 2024-01-24 15:18:57 +0100
  • d69b4a41ca Merge pull request 'Towards First Stable Version' (#16) from modeltype into main main Stefan Pranger 2024-01-20 16:25:35 +0000
  • 801dc5b210 only print goal related actions if there is one sp 2024-01-20 17:19:39 +0100
  • 3949611e83 change door interaction labels to '_toggle_' sp 2024-01-20 17:11:27 +0100
  • 0ef98bf005 guard for IsCarrying formulae sp 2024-01-20 17:02:27 +0100
  • acf32fbb98 added example for module Thomas Knoll 2024-01-18 21:16:31 +0100
  • 063cf9c0ee added example probabilities Thomas Knoll 2024-01-16 22:30:06 +0100
  • d964f557cc added example guards and formula Thomas Knoll 2024-01-16 22:06:32 +0100
  • 073e1b28e5 fixed guard overwrite Thomas Knoll 2024-01-16 22:01:09 +0100
  • aec701a72e changed example for module overwrite Thomas Knoll 2024-01-16 09:17:34 +0100
  • 8599aab515 exampleconfig Thomas Knoll 2024-01-15 23:40:26 +0100
  • 88f5e2e4fd more overwrites Thomas Knoll 2024-01-15 23:39:07 +0100
  • df00224661 basic overwrite guard and update Thomas Knoll 2024-01-15 22:42:10 +0100
  • 82849e5f67 changed NOFAULT constant #16 sp 2024-01-20 13:12:28 +0100
  • 8cc2b0c4da portable objects are now traversable sp 2024-01-20 13:09:22 +0100
  • 43aebc463c add nonmovement action to modules sp 2024-01-19 10:47:18 +0100
  • 7d7649bd06 include all action with indices sp 2024-01-19 10:40:23 +0100
  • bd8bf2eca5 print collision formula when other agents present sp 2024-01-18 21:56:03 +0100
  • cfb0d5da6f add done actions for smg models sp 2024-01-18 21:13:23 +0100
  • af2ee862e6 objects are initially not picked up sp 2024-01-18 21:13:07 +0100
  • a1ac41b01b fix bug with conditional movement formulas sp 2024-01-18 21:12:39 +0100
  • ec5480f670 use init struct sp 2024-01-18 13:07:39 +0100
  • 4b8444f6aa the agent cannot turn in lava sp 2024-01-17 15:24:08 +0100
  • ba348a95f2 fixed bugs in slippery updates sp 2024-01-17 15:23:58 +0100
  • 969dd87ada changed behaviour of slippery tiles sp 2024-01-16 14:53:11 +0100
  • 5d373c5cb8 remove debug printout to std::cout sp 2024-01-14 16:26:04 +0100
  • 8c5ff31ad3 NOFAULT is 3 instead of -1 sp 2024-01-14 13:11:04 +0100
  • 11658eb01f fixed multiple column row issues sp 2024-01-14 10:21:40 +0100
  • 370740349c fixed turn guards regarding IsOnSlippery sp 2024-01-14 10:08:57 +0100
  • fd2cc9e07f set defaults for probIntended and faultyProb sp 2024-01-14 09:19:20 +0100
  • eda22afaa9 removed some ws sp 2024-01-13 18:25:23 +0100
  • 12b08ab068 set modelType based on the amount of agents sp 2024-01-13 18:25:14 +0100
  • aa6fd9219e removed GridOptions sp 2024-01-13 18:24:55 +0100
  • e65a46e99a fixed indentation sp 2024-01-13 18:24:04 +0100
  • a57420a4ab Merge pull request 'Remove Unnecessary Guards and Formulas' (#13) from remove_unnecessary_guards into main Stefan Pranger 2024-01-12 19:04:34 +0000
  • 46b4d5f9f3 adapted call to PrismModulesPrinter #13 remove_unnecessary_guards sp 2024-01-10 19:17:08 +0100
  • 76d4295f73 removed printing of unnecessary formulas sp 2024-01-10 19:15:37 +0100
  • 92d7d11daa switched most tabs to two whitespaces in output sp 2024-01-10 19:13:49 +0100
  • 34a399972d print certain movement guards only when necessary sp 2024-01-10 19:13:43 +0100
  • c485844e1d Merge pull request 'Update of Yaml Config and Config Parsing' (#10) from yaml_config_changes into main Stefan Pranger 2024-01-12 18:57:22 +0000
  • acd1a17082 renamed index #10 yaml_config_changes Thomas Knoll 2024-01-11 22:05:55 +0100
  • 4141e9f104 fixed config print of labels Thomas Knoll 2024-01-11 22:01:56 +0100
  • 78c42f034e overwrite indices as vector Thomas Knoll 2024-01-11 21:52:41 +0100
  • 5a94f004fb added exampleconfig Thomas Knoll 2024-01-10 23:14:02 +0100
  • 91dcfb400e renamed action to command Thomas Knoll 2024-01-10 23:13:23 +0100
  • aad118cf62 config parsing for probabilities Thomas Knoll 2024-01-10 23:09:35 +0100
  • 74645d95b3 basic support for probabiliteis in config Thomas Knoll 2024-01-10 21:29:00 +0100
  • edcab9c0a3 removed unused options from cli option parsing sp 2024-01-10 18:55:15 +0100
  • ba13faa3ae Merge pull request 'Switched to colAgent and rowAgent' (#9) from small_fixes into main Stefan Pranger 2024-01-10 17:49:42 +0000
  • bac91e7b5d fixed bug in west slippery updates #9 sp 2024-01-10 18:47:44 +0100
  • 0a1f5ac405 switched to col and row instead of x and y sp 2024-01-10 18:47:30 +0100
  • b50355deb9 x and y start at 1 sp 2024-01-10 18:37:22 +0100
  • 7e932200ca fixed additional semicolon in CannotSlip Formulas sp 2024-01-10 18:35:31 +0100
  • d8c7e73a32 fixed some issues with formulas and semicolons sp 2024-01-10 18:35:21 +0100
  • 7e5c86ba41 include algorithm in cell.cpp sp 2024-01-09 11:38:55 +0100
  • 4299598465 Merge pull request 'Include vscode in gitignore' (#6) from add_vscode_to_gitignore into main Stefan Pranger 2024-01-09 10:05:35 +0000
  • 27470e63dd include vscode in gitignore #6 sp 2024-01-09 11:04:55 +0100
  • 7a2ea4b8bb Merge pull request 'Overhaul' (#3) from tempestpyadaption into main Stefan Pranger 2024-01-09 09:52:13 +0000
  • 4abe0eaa86 Merge pull request 'Refactoring of Prism Output' (#1) from adversaries_and_refactoring into tempestpyadaption #3 Stefan Pranger 2024-01-09 09:50:16 +0000
  • 54af53e039 print player structs #1 sp 2024-01-08 16:50:21 +0100
  • 2ae37d0bc9 removed unused function sp 2024-01-08 16:50:00 +0100
  • 8d33f43c7e refactored arbiter for smgs sp 2024-01-08 16:46:11 +0100
  • 6cfa9a619b include agent stuck action for faultyBehaviour sp 2024-01-08 16:45:15 +0100
  • cdd9611f8b removed viewVariable sp 2024-01-08 16:45:02 +0100
  • 6de02b7ab8 moved PrismModulesPrinter methods to private sp 2024-01-08 16:44:40 +0100
  • 48dcee2a59 small cleanup sp 2024-01-08 16:44:03 +0100
  • aca9ee719c removed unused code sp 2024-01-08 16:42:58 +0100
  • ff0369cfb1 added move module as arbiter sp 2024-01-08 15:54:40 +0100
  • 9be03f2701 summary commit sp 2024-01-08 15:22:07 +0100
  • a8ac3098a7 default formulas to false sp 2024-01-08 15:18:42 +0100
  • 2b7d5bc9a9 removed dead code sp 2024-01-08 14:06:24 +0100
  • c6f7bb27be added slippery turn actions sp 2024-01-08 14:06:13 +0100
  • 8cf91e700c WIP: changed probabilities in main for testing sp 2024-01-08 13:42:16 +0100
  • ea9d61ddd5 added slippery movement updates sp 2024-01-08 13:40:39 +0100
  • 8c6a2bf327 moved probIntended to Grid members sp 2024-01-08 13:37:18 +0100
  • bb2bef9b04 updates is a vector of update sp 2024-01-08 13:36:51 +0100
  • 389963a7c4 added formulas to check where a robot can slip to sp 2024-01-07 19:30:21 +0100
  • 48a90f0739 added walls to PrismFormulaPrinter sp 2024-01-07 17:35:37 +0100
  • 47f14bdc23 removed debug output sp 2024-01-07 17:10:30 +0100
  • 5bea12f780 create formulas with relative offset for portable objects sp 2024-01-07 16:59:06 +0100
  • 14e6375877 faultyProbability is float sp 2024-01-07 16:58:42 +0100
  • 13974739d9 commit to (col, row) sp 2024-01-07 16:58:14 +0100
  • 3999e778fe added turn actions for robots sp 2024-01-07 12:22:49 +0100
  • 7faa8d1efb added actionId and update typedefs sp 2024-01-07 12:22:30 +0100
  • 4d548f9502 first steps towards robots modules sp 2024-01-07 10:06:54 +0100
  • 26a7808eeb fix carrying variable sp 2024-01-06 18:45:24 +0100
  • ca70595b58 WIP major rework of PrismModulesPrinter sp 2024-01-06 18:35:59 +0100
  • 5955bb9791 isNextTo formulas for doors sp 2024-01-06 18:35:41 +0100
  • 6f541c1bc2 moved capitalize util to PrismPrinter sp 2024-01-06 18:34:28 +0100
  • 8766110068 getType method for cell sp 2024-01-06 18:34:16 +0100
  • 1729ba7c56 summary commit sp 2024-01-06 12:13:00 +0100