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

Commit Graph

  • aa871ae5c7 access reward models in the prism file Sebastian Junges 2020-07-07 20:05:38 -0700
  • 0a6ff87fe2 simplify expressions Sebastian Junges 2020-07-07 20:05:10 -0700
  • bb18af75b6 add initial support for dds Sebastian Junges 2020-07-07 20:04:43 -0700
  • 5cb06f2ee9
         Bindings for symmetries in DFTs Matthias Volk 2020-06-23 17:07:31 +0200
  • 10c26106c8
         Bindings for DFT elements and modularisation Matthias Volk 2020-06-23 16:31:48 +0200
  • 28dc5ddb4b simulator presents rewards in step and restart function Sebastian Junges 2020-06-18 12:30:06 -0700
  • 62c35f5a7d more operators on prism models Sebastian Junges 2020-06-13 18:14:55 -0700
  • d9e0a9ac92 compute the depth of the model, i.e., the longest shortest path from an initial state Sebastian Junges 2020-06-13 18:13:58 -0700
  • d29d12cb44 convenience operators on formulas Sebastian Junges 2020-06-13 18:13:14 -0700
  • d0da169f7e better comments in the simulator Sebastian Junges 2020-06-11 10:01:15 -0700
  • 72de6872ea Config flag whether xerces-c is available in Storm Matthias Volk 2020-06-11 13:35:03 +0200
  • d63c5dcece Stormpy is incompatible with latest stable Storm version again Matthias Volk 2020-06-10 13:32:04 +0200
  • 36e3b53ad5 Travis: use latest stable Storm version Matthias Volk 2020-06-10 12:05:55 +0200
  • 5d3319dfea simulator: action mode global names for MDPs Sebastian Junges 2020-06-08 16:31:55 -0700
  • 8ed76f5feb fix has_choice_labelling(), which did not return anything Sebastian Junges 2020-06-08 16:23:13 -0700
  • 83640fc444 Constant -> PrismConstant for more consistent naming Sebastian Junges 2020-06-08 10:26:42 -0700
  • 2bbe7e7e60 renames in storm Sebastian Junges 2020-06-08 10:26:21 -0700
  • 45d8d978f4 Stormpy version 1.6.0 Matthias Volk 2020-06-08 16:23:36 +0200
  • 7015a4c012 Default parameters for BuilderOptions Matthias Volk 2020-06-08 15:55:16 +0200
  • 0cb3f0cee8 Adaptions due to recently introduced storm-version-info library Tim Quatmann 2020-06-03 11:33:15 +0200
  • 2a78ec14a7 recent change in qualitative analysis now also realised in stormpy Sebastian Junges 2020-05-30 19:55:00 -0700
  • ec2cf86e20 added optimistic value iteration to the environments Sebastian Junges 2020-05-30 19:24:06 -0700
  • 9a1656eb6f Changed expected output for POMDP exploration example Matthias Volk 2020-05-27 18:09:12 +0200
  • bf32cbb94b Return json encoding of state valuations in simulator after changes in Storm Matthias Volk 2020-05-27 18:08:38 +0200
  • b13e842986 Further adoption to Storm changes in state valuations Matthias Volk 2020-05-26 15:33:24 +0200
  • 2efc80f595 new statevaluation interface Sebastian Junges 2020-05-26 16:38:02 -0700
  • f009ed1f9f Merge branch 'master' into almostsurepomdp Sebastian Junges 2020-05-26 16:21:23 -0700
  • 80f044cc49 dft tests should be disabled if no dft support is given Sebastian Junges 2020-05-26 16:20:52 -0700
  • 886718bdb2 state generation via stormpy is broken. to avoid compilation problems, this is disabled for now Sebastian Junges 2020-05-26 16:19:50 -0700
  • 4c3f98ab6c graph-preprocessing on the pomdp Sebastian Junges 2020-05-26 11:23:37 -0700
  • eeffca7df5 Small revision for MatrixBuilder Matthias Volk 2020-05-24 18:24:53 +0200
  • 105d9c40b5 Skip tests if numpy is not available Matthias Volk 2020-04-17 18:15:01 +0200
  • e5a15eac6e Parametric sparse matrix builder and tests hannah 2020-04-25 14:43:27 +0200
  • bfce55912d added tests hannah 2020-04-09 01:41:43 +0200
  • b3d99eae89 convert numpy to SparseMatrix, tests hannah 2020-04-08 17:26:35 +0200
  • 2059add7cd SparseMatrixBuilder class hannah 2020-04-08 11:17:29 +0200
  • e2e7919427 Fixed links in GSPN doc Matthias Volk 2020-05-24 19:34:27 +0200
  • 42d2f1be01 Small revision in GSPN doc Matthias Volk 2020-05-24 17:10:18 +0200
  • 80787fb3d8 Consistently use Python naming scheme Matthias Volk 2020-05-24 17:01:44 +0200
  • efabfd0cbe completed documentation and added some testcases hannah 2020-04-27 15:07:53 +0200
  • c076609c34 small correction in gspn doc hannah 2020-04-24 15:33:56 +0200
  • c014234e77 added content to the gspn documentation hannah 2020-04-23 21:56:55 +0200
  • 339781db4a created gspn example hannah 2020-04-21 22:07:29 +0200
  • 42e0774d83 documentation for gspn bindings hannah 2020-04-19 16:16:17 +0200
  • 019c8ba912 added missing Transition class methods hannah 2020-04-19 13:48:14 +0200
  • 27546c7918 Simplified some assertions Matthias Volk 2020-04-17 17:50:20 +0200
  • 9a74d83079 added remaining tests hannah 2020-03-31 20:27:38 +0200
  • 2eec1828c1 GSPNs methods using boost::optional are working after fix in Storm Matthias Volk 2020-03-30 18:51:06 +0200
  • 3c71a4b04a added some tests hannah 2020-03-14 23:47:35 +0100
  • b5cb9d71ee added GSPNParser class for gspn import and missing GSPN class methods hannah 2020-03-14 13:58:58 +0100
  • 7fee180e40 export gspn to pnml hannah 2020-03-13 20:52:24 +0100
  • 4d357a7409 write gspn to Pnpro hannah 2020-03-13 11:28:38 +0100
  • e69c181462 added Transition classes hannah 2020-03-11 21:17:13 +0100
  • c8a9230e6e added Place class hannah 2020-03-11 19:58:49 +0100
  • 74a69e3dd2 added LayoutInfo class hannah 2020-03-11 17:14:03 +0100
  • 90c33339c0 added fcts to GSPN class hannah 2020-03-11 12:42:21 +0100
  • 279c24d6bd added functions to gspn_builder hannah 2020-03-10 20:11:16 +0100
  • 00569096f9 added gspn_builder class hannah 2020-03-10 14:50:24 +0100
  • 47fbb98ed5 Added structure for GSPN module Matthias Volk 2020-03-04 16:55:34 +0100
  • 7318abdd64 Travis: fixed failure not being an error Matthias Volk 2020-05-22 15:53:52 +0200
  • 7ea0055c11 added an example that prints the model checking result for all states Tim Quatmann 2020-05-22 14:41:20 +0200
  • 320fe5eb5d Updated required Storm version Matthias Volk 2020-05-20 13:36:55 +0200
  • 5eda9b6ae2 Travis: use latest Storm release Matthias Volk 2020-05-20 10:12:51 +0200
  • d060658bee Adaption to changes in storm-dft Matthias Volk 2020-05-20 10:11:28 +0200
  • fc61bd2b15 Merge branch 'master' into almostsurepomdp Sebastian Junges 2020-05-18 10:59:56 -0700
  • 5d05bc0e2f bitvector already has an iterator, remove comment Sebastian Junges 2020-05-07 18:20:11 -0700
  • c17680f761 fix code that only compiles on macos Sebastian Junges 2020-05-07 18:19:29 -0700
  • dd7506c231 write / load winning regions Sebastian Junges 2020-05-07 18:18:15 -0700
  • e259779f45 Merge branch 'master' into almostsurepomdp Sebastian Junges 2020-04-29 17:39:57 -0700
  • b041ca5e66 get constants and there defining expressions Sebastian Junges 2020-04-29 10:14:38 -0700
  • eefa75c203 flatset adaption to work with latest versions of boost Sebastian Junges 2020-04-29 10:14:11 -0700
  • 9a819d7029 Merge branch 'master' into almostsurepomdp Sebastian Junges 2020-04-24 16:13:24 -0700
  • c29871b1b2 build reward models and get them by name Sebastian Junges 2020-04-24 16:12:26 -0700
  • 865c804093 Merge branch 'master' into almostsurepomdp Sebastian Junges 2020-04-23 15:40:23 -0700
  • 1d3bc4154a clion build folder ignored Sebastian Junges 2020-04-23 15:39:50 -0700
  • 831353bca0 jani model transformers Sebastian Junges 2020-04-23 15:38:07 -0700
  • f42092e7aa convenient access to choice index Sebastian Junges 2020-04-23 15:37:15 -0700
  • 9bd59c6356 choice labelling: get labels for a choice Sebastian Junges 2020-04-23 15:34:37 -0700
  • d76f9e64f9 get automaton by name Sebastian Junges 2020-04-23 15:34:01 -0700
  • 12509f4410 update simulator with the ability to use POMDP observations or states Sebastian Junges 2020-04-23 15:33:21 -0700
  • b14fbfb7af flatten composition in jani, (+smtsolverfactory) Sebastian Junges 2020-04-23 11:35:55 -0700
  • 8cadf228fc does a model have a choice labelling? Sebastian Junges 2020-04-23 11:33:41 -0700
  • 41a0dd0bde fix test Sebastian Junges 2020-04-23 11:23:03 -0700
  • 412e94469c various pomdp functionalities Sebastian Junges 2020-04-21 21:25:38 -0700
  • b844d02cd9 make canonic for pomdps Sebastian Junges 2020-04-21 21:23:51 -0700
  • cf743f3c32 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy Sebastian Junges 2020-04-21 21:22:16 -0700
  • 6ccd867d7b get prism module by name, get variables from module by name Sebastian Junges 2020-04-20 23:18:17 -0700
  • baae1d4d78 fix maze2 example Sebastian Junges 2020-04-20 23:17:34 -0700
  • 47383090d3 Fixed return policy Matthias Volk 2020-04-20 18:12:50 +0200
  • 8502f282ac additional builder options Sebastian Junges 2020-04-16 22:56:02 -0700
  • 522bdb6e68 Pomdp inherit from Mdp Sebastian Junges 2020-04-16 13:23:33 -0700
  • a17dfa107b iterator over bitvectors added (iterating now mimicks the cpp behavior) Sebastian Junges 2020-04-16 13:23:06 -0700
  • 86dfe8abf0 init file to allow easier loading of pomdp library Sebastian Junges 2020-04-16 13:22:25 -0700
  • 20106e34bc bindings for POMDP analysis prepared Sebastian Junges 2020-04-14 22:35:46 -0700
  • 57dd8c363b add application of the scheduler Sebastian Junges 2020-04-14 22:22:06 -0700
  • 789b836f87 simulator support for nondeterministic models Sebastian Junges 2020-04-14 22:21:37 -0700
  • 69cdae39a3 nr available actions Sebastian Junges 2020-04-14 22:19:55 -0700
  • c1ef0845d7 Merge branch 'master' into modelsimulator Sebastian Junges 2020-04-14 09:52:58 -0700
  • 00f8f148dd Better documentation Sebastian Junges 2020-04-14 09:52:51 -0700
  • 06f3d59e48 simulator: check if in sink state, and set to program level observations Sebastian Junges 2020-04-14 09:43:11 -0700