NOTES-ABST.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1571 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · c7cb9d71ca
1 changed files with 3 additions and 0 deletions
--- a/prism/NOTES-ABSTR
+++ b/prism/NOTES-ABSTR
@ -4,6 +4,9 @@ exp reach for games
 Prob0 for MDPs
 remove src/abstraction dir

+other notes/ideas:
+
+refine opt: don't add ubsets of player1 choices

 #================================================
 # Self-stabilisation (Israeli-Jalfon)