Apparently, this user prefers to keep an air of mystery about them.
31 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
3 LTL property - safety or liveness? Feb 6 '15
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