Alexander Yakhnis

Viability in hybrid systems

Wolf Kohn, Anil Nerode, Jeffrey B. Remmel et al. · Theoretical Computer Science · 1995 · 29 citations · Full text

Engineering, Computer Science, Systems Engineering +14

Extension of Gurevich-Harrington's restricted memory determinacy theorem: a criterion for the winning player and an explicit class of winning strategies

Alexander Yakhnis, Vladimir Yakhnis · Annals of Pure and Applied Logic · 1990 · 27 citations

Social Sciences, Mathematics, Decision Theory +6

Modelling hybrid systems as games

Anil Nerode, Alexander Yakhnis · 2005 · 23 citations

Computing, Computer Science, Systems Engineering +16

McNaughton games and extracting strategies for concurrent programs

Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis · Annals of Pure and Applied Logic · 1996 · 23 citations · Full text

Computing, Computer Science, Algorithms +9

Gurevich-Harrington's games defined by finite automata

Alexander Yakhnis, Vladimir Yakhnis · Annals of Pure and Applied Logic · 1993 · 15 citations

Computing, Computer Science, Mathematics +11