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

Commit Graph

  • bacacdda7d changes to testall Thomas Knoll 2023-12-29 18:36:45 +0100
  • d891211c5b added configs and multiple test scripts Thomas Knoll 2023-12-24 13:57:01 +0100
  • 7ec988da12 log dir change Thomas Knoll 2023-12-22 13:42:06 +0100
  • 45d110b199 added probability arguments Thomas Knoll 2023-12-19 09:10:21 +0100
  • af0c4e2f21 shield value script 15 Thomas Knoll 2023-12-18 22:40:15 +0100
  • 65ea61dd18 added config file Thomas Knoll 2023-12-18 22:33:27 +0100
  • 5c9064ecbe randomize start Thomas Knoll 2023-12-17 09:07:03 +0100
  • 80cbbe5a3a minor changes Thomas Knoll 2023-12-15 13:56:09 +0100
  • 71acf4e2cc added checkpoint & sandbox Thomas Knoll 2023-11-27 12:27:23 +0100
  • afc9f5bc4d added config / some adversary fixes Thomas Knoll 2023-09-29 15:38:54 +0200
  • 5745113179 changed one hot wrapping Thomas Knoll 2023-09-22 15:24:24 +0200
  • d41ba6258f adversary handling Thomas Knoll 2023-09-22 13:38:46 +0200
  • 906f251401 some fixes to key and door handling Thomas Knoll 2023-09-21 13:55:11 +0200
  • ddc0a048b2 more args and door / key handling Thomas Knoll 2023-09-21 12:06:18 +0200
  • bd09223fad added shieldhandler key handling Thomas Knoll 2023-09-21 12:06:00 +0200
  • c0fc671870 probability evaluation in jupyter notebooks Thomas Knoll 2023-09-15 12:26:46 +0200
  • 41f94bf92e added expname to grid path Thomas Knoll 2023-09-15 09:51:33 +0200
  • 6e5fca3644 changed exp name handling Thomas Knoll 2023-09-14 14:11:20 +0200
  • 7c993cbac4 flattened tune logging directory structure Thomas Knoll 2023-09-14 13:39:13 +0200
  • bcc19ec9ca added trial name Thomas Knoll 2023-09-14 10:41:01 +0200
  • 37a9d79051 more changes to logging Thomas Knoll 2023-09-14 10:15:53 +0200
  • 442fff1344 chnaged logdir handling Thomas Knoll 2023-09-14 09:36:39 +0200
  • 1812afee59 changed shield Thomas Knoll 2023-09-13 14:52:48 +0200
  • 604d2c2b76 changed action handling for probabilities Thomas Knoll 2023-09-13 14:33:07 +0200
  • 1528173f58 changed iterations to evaluations Thomas Knoll 2023-09-11 12:49:28 +0200
  • d64f569499 commented out shield export call Thomas Knoll 2023-09-11 12:15:59 +0200
  • b05029eff0 added init call Thomas Knoll 2023-09-11 10:56:23 +0200
  • 7a6496cfee removed some type annotations in callback Thomas Knoll 2023-09-11 10:39:49 +0200
  • f0df936716 added steps argument and stop criteria Thomas Knoll 2023-09-11 10:05:54 +0200
  • b238f5c1a7 changed jupyter notebooks to tune Thomas Knoll 2023-09-11 09:33:32 +0200
  • 8650b7c91f added tune example changes to algorithm parsing Thomas Knoll 2023-09-11 09:32:10 +0200
  • 717c644aad changed ray tune example Thomas Knoll 2023-09-08 14:49:20 +0200
  • 3dee543e24 renaming and notebooks Thomas Knoll 2023-09-08 10:07:27 +0200
  • 4e182a8e5b removed basic training Thomas Knoll 2023-09-07 15:58:18 +0200
  • 138d917fd6 added tune example refactored and evaluation logging Thomas Knoll 2023-09-07 15:31:46 +0200
  • e2c855dc6a added more shielding options (training, evaluation, none, both) Thomas Knoll 2023-09-06 13:43:55 +0200
  • f3747a1479 renaming / shield handling changes Thomas Knoll 2023-09-06 10:18:55 +0200
  • 757fbbcc0d fixed shield generation worker handling Thomas Knoll 2023-09-04 12:06:00 +0200
  • 1c2dbf706e changed shield creation to create shield on reset Thomas Knoll 2023-08-30 15:41:23 +0200
  • 97f7d23cda added rudimental key / door masking Thomas Knoll 2023-08-29 12:22:07 +0200
  • b1b014dbd6 some refactoring as preparation for sb3 example added sb3 example Thomas Knoll 2023-08-28 16:04:15 +0200
  • fab1e8f23f added logdir handling chnages to action index handling Thomas Knoll 2023-08-28 08:37:38 +0200
  • 7f20c3f909 arguments and log dir Thomas Knoll 2023-08-25 08:51:09 +0200
  • fe96a6a0b6 added dqn algorithm Thomas Knoll 2023-08-24 11:01:11 +0200
  • e42becef88 added dqn handling skeleton Thomas Knoll 2023-08-23 16:13:49 +0200
  • f52262ad11 simple masking (only turn left allowed) Thomas Knoll 2023-08-23 14:38:57 +0200
  • cf18349819 basic action embedding Thomas Knoll 2023-08-23 10:46:14 +0200
  • dd9dd43036 initial layout for rl test Thomas Knoll 2023-08-21 10:50:19 +0200
  • 6b8ceedccb fixed unit tests changed shield specification in tests Thomas Knoll 2023-08-17 11:33:30 +0200
  • a89c9711bf changes after shield filename removal Thomas Knoll 2023-08-11 14:27:15 +0200
  • 6adfa0cde1 changed shield export function Thomas Knoll 2023-08-11 11:17:43 +0200
  • 08e389a9da added shield_expression parameter for model checking call Thomas Knoll 2023-08-11 10:40:08 +0200
  • 5d84d94028 removed useless calls in pre shield dt example Thomas Knoll 2023-08-11 09:04:29 +0200
  • 7744b5e3dc changed pre shield decision tree export example added post tree decision tree export example Thomas Knoll 2023-08-11 09:03:47 +0200
  • f2695b54d8 added dtcontrol dependency export file handling Thomas Knoll 2023-08-10 08:57:04 +0200
  • 86a64c7f35 some example adaptions removed optimal simulator Thomas Knoll 2023-08-09 13:41:16 +0200
  • 7a27bf6ad9 changes to examples Thomas Knoll 2023-08-09 11:42:14 +0200
  • 9599bbdd3f added prism files for shield examples Thomas Knoll 2023-08-08 15:41:33 +0200
  • cc6ae3868b added / renamed shield examples Thomas Knoll 2023-08-08 15:41:17 +0200
  • 557dd4f57e extended smg / stg / simulator python classes Thomas Knoll 2023-08-08 15:40:50 +0200
  • ac5f685d24 support smg model / testcases for optimal shields Thomas Knoll 2023-08-08 11:37:15 +0200
  • 89107ce6ee added bindings for shield querying Thomas Knoll 2023-08-07 16:02:28 +0200
  • fa533af4c4 added basic shield export functionality Thomas Knoll 2023-08-07 09:50:02 +0200
  • 74ecd91159 added pre / post scheduler skeleton Thomas Knoll 2023-08-04 15:19:54 +0200
  • 12bcd67300 added suffix for shield template classes Thomas Knoll 2023-08-04 15:05:43 +0200
  • 5617735b69 added basic shield class bindings Thomas Knoll 2023-08-04 14:46:32 +0200
  • 024a022bc5 added shields module files Thomas Knoll 2023-08-04 13:38:27 +0200
  • 6fc0d72b99
         Stormpy version 1.6.3 Matthias Volk 2020-12-01 21:10:26 +0100
  • 389331b28f
         Doc: typo Matthias Volk 2020-12-01 10:48:32 +0100
  • f7942cd2c9
         Travis: use latest stable Storm version Matthias Volk 2020-12-01 10:37:57 +0100
  • dc94843aca
         Support for parsing jani model from string Matthias Volk 2020-11-10 17:04:08 +0100
  • 3976ef11b6
         Added documentation about compatible stormpy and Storm versions Matthias Volk 2020-10-22 13:51:05 +0200
  • f8942adceb
         Increased required Storm version Matthias Volk 2020-10-21 21:37:27 +0200
  • 7d8c3ffd68
         Avoid creating tmp file when testing examples Matthias Volk 2020-10-21 21:37:00 +0200
  • 75a2c70af6 minor extensions to examples Sebastian Junges 2020-10-20 14:41:01 -0700
  • d24b866b8f Merge branch 'master' into monitoring Sebastian Junges 2020-10-20 13:37:29 -0700
  • 1a39ef8380
         minor extension to expressions/prism program Tobias Winkler 2020-10-16 11:04:12 +0200
  • e80c7e2dcf
         extensions to prism datastructures Tobias Winkler 2020-10-13 10:27:35 +0200
  • 0c724c9b68
         added getExpression for formula Tobias Winkler 2020-09-27 19:55:56 +0200
  • 1c8ce6ba76
         small extension in jani and expressions Tobias Winkler 2020-09-15 09:58:32 +0200
  • 19e748c754
         extensions to jani model accessors Tobias Winkler 2020-09-02 14:39:54 +0200
  • 92bdd31ef6
         Travis: another fix in installation of dependencies Matthias Volk 2020-10-12 13:59:14 +0200
  • 0751e27774
         Travis: fix installation of dependencies Matthias Volk 2020-10-12 13:23:59 +0200
  • baf9f311db
         Travis: install numpy for tests Matthias Volk 2020-10-12 11:09:50 +0200
  • d8e46968d3
         Updated CHANGELOG Matthias Volk 2020-10-11 21:09:11 +0200
  • 01b6ee3f18
         Fixed typo in binder url Matthias Volk 2020-10-11 20:52:37 +0200
  • dbe31a4b92
         Updated Dockerfile Matthias Volk 2020-10-11 20:52:27 +0200
  • 56b50cea56
         Hide prompt in generated doc Matthias Volk 2020-10-11 18:27:48 +0200
  • 1d1b291248
         Update year in doc Matthias Volk 2020-10-11 18:27:20 +0200
  • de64e42dfc
         Update pytest and sphinx generation for new Jupyter notebooks Matthias Volk 2020-10-11 17:44:58 +0200
  • 76586df65d
         Update url for binder launch Matthias Volk 2020-10-11 17:44:20 +0200
  • 8afa3529f4
         api rst files hannah 2020-10-07 13:33:49 +0200
  • afb1987830
         deleted temp files hannah 2020-10-07 13:25:27 +0200
  • baf66a5ef5
         link in binder badge hannah 2020-09-27 22:40:19 +0200
  • 4a1207918a
         dockerfile: copy files for notebooks hannah 2020-09-27 21:57:23 +0200
  • b7ae4d5bfd
         dockerfile: copy files for notebooks hannah 2020-09-27 21:38:11 +0200
  • 3d3e220f6f
         dockerfile added models hannah 2020-09-27 21:23:59 +0200
  • 9d7ddecbb7
         fixed links hannah 2020-09-27 20:43:23 +0200
  • 91eb5073ac
         fixed test hannah 2020-08-27 23:33:03 +0200
  • f5668000b9
         fixed engines notebook and binder badge hannah 2020-08-25 13:46:53 +0200