NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1729 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · 52fc186e96
1 changed files with 2 additions and 1 deletions
--- a/prism/NOTES
+++ b/prism/NOTES
@ -54,7 +54,8 @@ Doc:

 TODO:

- make adv gen switchable
+- fix adversary generation (de alfaro thesis)
+- add adversary generation for other engines
 - make action storage optional (when required)
 - action storage for D/CTMCs
 - lp stuff - plugin support for eclipse/lpsolve (in prism-multi?)