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

Commit Graph

  • e1aba323bf more tests for reward unfolding TimQu 2017-08-29 17:11:01 +0200
  • 0c5aa1645d fix reward model generation in JIT builder dehnert 2017-08-29 13:33:53 +0200
  • 8e92d1a44b fixed typo TimQu 2017-08-29 11:46:12 +0200
  • 5bb6564078 remove debug output dehnert 2017-08-29 10:57:24 +0200
  • 06ec288296 enabled pcaa test that uses rational numbers TimQu 2017-08-29 10:01:44 +0200
  • 2d2cc95774 fixed issue #12 raised by Joachim Klein TimQu 2017-08-29 10:01:07 +0200
  • beb80cc5af fixes issue #11 raised by Joachim Klein dehnert 2017-08-28 22:40:46 +0200
  • 2d30108b49 fixes issue #10 raised by Joachim Klein dehnert 2017-08-28 20:23:09 +0200
  • ecade3f857 fixes issue #9 raised by Joachim Klein dehnert 2017-08-28 20:02:23 +0200
  • 172b17d7ae simple testcase for the reward unfolding TimQu 2017-08-28 14:59:02 +0200
  • 3beaf6cd64 Merge remote-tracking branch 'origin/master' into reward-bounded-multi-objective TimQu 2017-08-28 10:32:35 +0200
  • e2ba3dbd06 fix for multiple subobjectives TimQu 2017-08-28 10:28:32 +0200
  • 12c79ad6ea export choice labels sjunges 2017-08-26 14:51:04 +0200
  • 3ac42caf7c extensions to pomdp stuff sjunges 2017-08-26 14:29:15 +0200
  • e2e1407f3e not calling sylvan_var on leaf nodes of sylvan anymore dehnert 2017-08-25 09:58:14 +0200
  • c9064a2bf0 Merge branch 'pomdp_datastructures' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm into pomdp_datastructures sjunges 2017-08-24 17:32:34 +0200
  • 6ab286f420 remove output, copy observability when modules are used Sebastian Junges 2017-08-24 17:32:20 +0200
  • 9314d99354 allow inference from actions, but only with a set option sjunges 2017-08-24 17:31:05 +0200
  • 5856d9fe51 removed some debug output dehnert 2017-08-24 12:48:37 +0200
  • 04a24a2108 Merge remote-tracking branch 'origin/master' into symbolic_bisimulation dehnert 2017-08-24 11:48:26 +0200
  • 6bebb3c9d5 fix bug in rational number/function handling with sylvan dehnert 2017-08-24 11:00:19 +0200
  • ee87067c9a fixed type to make gcc happy dehnert 2017-08-24 09:13:30 +0200
  • d4980ca325 intermediate commit Sebastian Junges 2017-08-23 19:52:58 +0200
  • d2a493a92d fixed several crucial bugs related to dd bisimulation, tests now passing dehnert 2017-08-23 18:37:37 +0200
  • a7dcdcd84d started on tests and added a ton of debug output dehnert 2017-08-23 14:45:19 +0200
  • 11d2ee2fda making sure to add meta variables to transition matrix DD to make sure one can abstract from them later dehnert 2017-08-23 09:18:05 +0200
  • 10b1f65840 eliminating selfloops in pomdps sjunges 2017-08-22 23:23:38 +0200
  • 36554b5b87 fixed some issues with reward preservation in dd-based bisimulation dehnert 2017-08-22 21:17:30 +0200
  • 5931e19a09 Merge branch 'master' into pomdp_datastructures sjunges 2017-08-22 20:28:19 +0200
  • 9a6abf7eec fixed a bug in dd-based reward model building dehnert 2017-08-22 20:15:49 +0200
  • b120b74fa9 StateActionPair to index should be part of nondeterministicmodel sjunges 2017-08-22 20:08:15 +0200
  • 6e506e5a66 moved application of permissive scheduler to an own transformer sjunges 2017-08-22 19:24:54 +0200
  • 790fbffd6d pomdps in an own cli, support for application of stochastic schedulers, etc Sebastian Junges 2017-08-22 19:22:44 +0200
  • fb8dd88314 fixes in parsing, support for POMDPs in DRN Sebastian Junges 2017-08-22 19:21:58 +0200
  • ebb0a30cc6 Merge branch 'master' into pomdp_datastructures Sebastian Junges 2017-08-22 17:08:20 +0200
  • d271824461 prepare to initialize but not make settings known, not yet fully functioning Sebastian Junges 2017-08-22 16:55:44 +0200
  • d2002129b7 remove output Sebastian Junges 2017-08-22 16:54:39 +0200
  • e0452be54b move some of the cli stuff to an own header Sebastian Junges 2017-08-22 16:54:20 +0200
  • 40a982430c cmake for carl: handle situation where carl version information is missing Joachim Klein 2017-08-22 15:46:30 +0200
  • ad456916e9 first working version of sparse reward model quotienting dehnert 2017-08-22 14:43:33 +0200
  • 334ed077fd lifted quotient extractor from ADDs to BDDs dehnert 2017-08-22 13:14:53 +0200
  • f55fab0924 lifted representative generation from ADDs to BDDs dehnert 2017-08-22 12:45:58 +0200
  • 722cb3109c dd quotient extraction of reward models in dd bisimulation dehnert 2017-08-22 11:12:08 +0200
  • 34e23f94fc started on reward model preservation in DD bisimulation dehnert 2017-08-21 19:47:02 +0200
  • b31fb7ab5e first working version of sparse MDP quotient extraction of dd bisimulation dehnert 2017-08-21 14:38:00 +0200
  • c5da67d6cf refined warning for automatic switch to policy iteration in exact mode dehnert 2017-08-19 12:29:47 +0200
  • 8cdbf281fa make minmax solvers use policy iteration when --exact is set and no other method was explicitly set dehnert 2017-08-19 11:12:13 +0200
  • f96403de9e added reduction to state-based rewards to symbolic (reward) models dehnert 2017-08-18 20:02:11 +0200
  • eaee50f077 fixed bug, implemented new sparse quotient extraction for sylvan dehnert 2017-08-18 19:06:23 +0200
  • 27ac2798c4 allowing multi(...) path formulas in multiobjective model checking TimQu 2017-08-18 18:26:30 +0200
  • 5dd4bdbfc6 fixed ambiguous memory labeling TimQu 2017-08-18 18:25:36 +0200
  • a16eee4982 made multi(..) path formulas pass the fragment check TimQu 2017-08-18 18:24:35 +0200
  • 0e8049d4df removed lots of debug output TimQu 2017-08-18 16:24:49 +0200
  • 354b3103f0 improved multi-dimensional reward unfolding TimQu 2017-08-18 16:22:05 +0200
  • 857bc63145 fix for model-memory-product where the mapping between (modelstate, memorystate) and productState did not work as soon as the memory structure ran out of scope TimQu 2017-08-18 16:20:59 +0200
  • 1f2ab1a672 added function BitVector::fill() which sets all bits to true TimQu 2017-08-18 16:19:39 +0200
  • b7be027f7a switching workplace dehnert 2017-08-18 14:53:29 +0200
  • 09dcb149c2 storm parses and builds pomdps Sebastian Junges 2017-08-17 23:48:01 +0200
  • 5e2ccaeeb5 started moving towards simpler sparse quotient extraction dehnert 2017-08-17 20:37:11 +0200
  • 63fd02937f pomdps Sebastian Junges 2017-08-17 13:44:57 +0200
  • f254a05f4e Update mtime_cache files for travis caching Matthias Volk 2017-08-17 09:25:43 +0200
  • bbb4d16965 towards support for pomdps in storm sjunges 2017-08-17 00:03:53 +0200
  • bc3646604d Extend ModelType with an entry for POMDPs sjunges 2017-08-16 21:03:21 +0200
  • 2eb13cdc10 fixed exploration of reachable epochs TimQu 2017-08-16 11:12:46 +0200
  • 2f97684d6d fixed bug in recent optimization (only CUDD-based implementation was faulty) dehnert 2017-08-15 21:19:43 +0200
  • b3507b8f96 fixed 'toIntegralVector' method TimQu 2017-08-15 17:40:07 +0200
  • df6ba12c74 enabled handling of reward bounded formulas within multi-objective formulas TimQu 2017-08-15 17:38:58 +0200
  • 39d789f042 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm Matthias Volk 2017-08-15 15:23:24 +0200
  • c09f6c1924 Update mtime_cache files for travis caching Matthias Volk 2017-08-15 15:23:06 +0200
  • d23547d99f started optimizing some DdManager methods dehnert 2017-08-15 13:38:15 +0200
  • 8cacede55f Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm Sebastian Junges 2017-08-15 13:02:17 +0200
  • 9e2f8fb1a8 first version of weight-vector based apporach with reward bounded objectives TimQu 2017-08-15 11:22:44 +0200
  • cf4ee1eb5f also store the initial states within an epoch model TimQu 2017-08-15 11:21:22 +0200
  • 6334168fbe also store the reward choices in the epoch model TimQu 2017-08-15 09:58:11 +0200
  • 5624818caf Updated Changelog sjunges 2017-08-14 20:37:40 +0200
  • 66cf4f1d28 Command line access to onlyconstraints for any model type sjunges 2017-08-14 20:37:27 +0200
  • 2b01e2fa61 GraphConditions for any model type sjunges 2017-08-14 20:37:04 +0200
  • 3c5a270482 Further improvements for the multi dimensional reward unfolding TimQu 2017-08-14 17:28:15 +0200
  • 93f385a399 remove debug output dehnert 2017-08-14 14:53:25 +0200
  • 7e723b2b8f faster block encoding for CUDD; optimizations in sparse quotient extraction dehnert 2017-08-14 14:35:18 +0200
  • 5025b33aac Merge branch 'master' into reward-bounded-multi-objective TimQu 2017-08-14 12:02:16 +0200
  • 22e375bd79 Implemented more functionality of the reward unfolding TimQu 2017-08-14 12:01:40 +0200
  • 938a488eb1 Get a Memory structure builder from an existing memory structure TimQu 2017-08-14 12:01:11 +0200
  • 50e1fe0c15 increment() function for BitVector TimQu 2017-08-14 12:00:11 +0200
  • a27e7bdc82 no longer use arithconstraint sjunges 2017-08-13 23:48:13 +0200
  • a994b80931 getting rid of outdated carl simple constraint usage sjunges 2017-08-13 18:58:36 +0200
  • 04e542059d Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm Sebastian Junges 2017-08-13 18:10:35 +0200
  • 9e9060ecd7 fix in changelog Sebastian Junges 2017-08-13 18:09:37 +0200
  • b4a8833e3f towards getting rid of code duplication in storm-pars-cli sjunges 2017-08-13 17:18:37 +0200
  • e718acffba move cli stuff from storm lib to an own small lib sjunges 2017-08-13 17:18:08 +0200
  • 2c2dc5acd8 Changed API such that the command line settings do not occur in the settings anymore. Moreover, to prevent having 15 Boolean arguments, the build options are now part of the API. sjunges 2017-08-13 15:36:47 +0200
  • 98d124bd06 As the builder options now occur in the API, we should improve their documentation. sjunges 2017-08-13 15:35:35 +0200
  • bf6258bd86 builder options have uniform signature sjunges 2017-08-13 14:53:11 +0200
  • 75ec21b1d6 remove USE_CARL variable and add option to take hint for carl directory dehnert 2017-08-11 16:31:42 +0200
  • 8ed3a8a6db fixed some issues with meta variables in DDs dehnert 2017-08-11 16:31:13 +0200
  • 1c2c4eb612 Added subtitle to README Matthias Volk 2017-08-11 14:54:07 +0200
  • 2dba64705e Removed redundant info in CHANGELOG Matthias Volk 2017-08-11 14:36:28 +0200
  • c903f738b3 Fixed some typos Matthias Volk 2017-08-11 11:34:46 +0200
  • 49447da43d Disable Debian in travis as there was no difference to Ubuntu Matthias Volk 2017-08-11 10:56:43 +0200
  • c8734591c3 Enable travis notifications Matthias Volk 2017-08-11 10:55:31 +0200