From c7cb9d71ca6a10c54d3619419e483067540f684d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 20 Nov 2009 14:08:16 +0000
Subject: [PATCH] NOTES-ABST.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1571 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/NOTES-ABSTR | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/prism/NOTES-ABSTR b/prism/NOTES-ABSTR
index dc417ee9..8efdb1fa 100644
--- 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)