Apparently, this user prefers to keep an air of mystery about them.
29 Why is 2SAT in P? jun 5 '11
8 Generating a point in a rational polytope $P \subseteq R^k$ given a point in $P^\epsilon$ jul 24 '12
1 What's the simplest to implement of all decent LTL-to-Buchi translation or other LTL verification algorithms? may 7 '11
0 Kripke model and LTL vs CTL formulae interpretation jun 29 '12