6e29774 | Bowen Li | 28 April 2022, 22:56:04 UTC | Create README.md | 28 April 2022, 22:56:04 UTC |
570664d | shelllbw | 28 April 2022, 21:44:27 UTC | Update repo | 28 April 2022, 21:44:27 UTC |
5851c84 | shelllbw | 01 October 2020, 07:37:58 UTC | Update dna model files and code | 01 October 2020, 07:37:58 UTC |
6628400 | shelllbw | 13 March 2020, 17:59:30 UTC | First commit | 13 March 2020, 17:59:30 UTC |
6e67b7b | Dave Parker | 15 August 2019, 08:37:45 UTC | Update README.md to explain versioning. | 15 August 2019, 08:37:45 UTC |
530ff31 | Dave Parker | 15 August 2019, 08:16:24 UTC | Update to work with recent changes to the ModelGenerator interface. * Use "extends DefaultModelGenerator" instead of the previous "implements ModelGenerator, RewardGenerator" since (i) the reward part has been detached from ModelGenerator; and (ii) default implementations are now added as default interface methods. * Remove getExploreState() and getTransitionAction(int i), which are no longer part of the ModelGenerator interface. * Remove some methods which now have default implementations, e.g. getNumVars() not needed if getVarNames() is provided. | 15 August 2019, 08:16:24 UTC |
c1d9227 | Dave Parker | 31 October 2017, 14:54:18 UTC | Update README.md | 31 October 2017, 14:54:18 UTC |
7825a51 | Dave Parker | 25 July 2017, 21:14:57 UTC | Tweak MDP ModelGenerator example and add strategy/adversary generation. | 25 July 2017, 21:14:57 UTC |
b68e0fe | Dave Parker | 25 July 2017, 20:50:15 UTC | Add an example showing how to use ModelGenerator for an MDP model. | 25 July 2017, 20:50:15 UTC |
3f8680e | Dave Parker | 25 July 2017, 20:49:49 UTC | Typo | 25 July 2017, 20:49:49 UTC |
c955dc4 | Dave Parker | 25 July 2017, 19:11:53 UTC | Typo | 25 July 2017, 19:11:53 UTC |
01a8013 | Dave Parker | 25 July 2017, 19:08:25 UTC | Add an example showing how to use ModelGenerator. | 25 July 2017, 19:08:25 UTC |
b311f47 | Dave Parker | 14 March 2017, 23:33:15 UTC | Add PRISM dir to class path of run script (to avoid complaints about missing images). | 14 March 2017, 23:36:01 UTC |
3820b5c | Dave Parker | 14 March 2017, 23:32:28 UTC | Add examples for MDP demo. | 14 March 2017, 23:36:01 UTC |
a9ec35e | Dave Parker | 14 March 2017, 23:27:04 UTC | Another demo: adversary generation for MDPs. | 14 March 2017, 23:36:01 UTC |
0046421 | Dave Parker | 14 March 2017, 21:50:26 UTC | Update README.md | 14 March 2017, 21:50:26 UTC |
d09a3df | Dave Parker | 12 February 2017, 01:12:48 UTC | Update README.md | 12 February 2017, 01:12:48 UTC |
10526af | Dave Parker | 12 February 2017, 01:11:49 UTC | Update README.md | 12 February 2017, 01:11:49 UTC |
8d6f883 | Dave Parker | 12 February 2017, 01:08:33 UTC | Update README.md | 12 February 2017, 01:08:33 UTC |
6b3a6df | Dave Parker | 12 February 2017, 00:54:06 UTC | Create README.md | 12 February 2017, 00:54:06 UTC |
3455e25 | Dave Parker | 12 February 2017, 00:53:05 UTC | Make the Makefile and run script a bit more resilient as to whether we point to a repo or a downloaded distribution. | 12 February 2017, 00:53:05 UTC |
9c42c3a | Dave Parker | 12 February 2017, 00:27:15 UTC | Defaults for an Eclipse project | 12 February 2017, 00:27:15 UTC |
29ac557 | Dave Parker | 12 February 2017, 00:25:18 UTC | Script to run example code. | 12 February 2017, 00:25:18 UTC |
833cade | Dave Parker | 12 February 2017, 00:24:51 UTC | Makefile | 12 February 2017, 00:24:51 UTC |
59b16d2 | Dave Parker | 12 February 2017, 00:24:32 UTC | Ignores | 12 February 2017, 00:24:32 UTC |
343610e | Dave Parker | 12 February 2017, 00:23:59 UTC | Example PRISM files needed to run test code. | 12 February 2017, 00:23:59 UTC |
0829111 | Dave Parker | 12 February 2017, 00:22:26 UTC | Basic code example, derived from PrismTest in the main repo. | 12 February 2017, 00:22:26 UTC |