Apparently, this user prefers to keep an air of mystery about them.
4 Alternating automata jan 16 '13
2 Behaviour of Labelled Markov Processes mar 26 '13
1 Existence of equilibria in infinite two players zero sum extensive form games with perfect information sep 17 '13
1 Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso? jul 31
1 How to Create Mission Critical Software? sep 19 '12
0 References on model checking and pi calculi dec 24 '12