Structural measures for games and process control in the branch learning model

[1]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[2]  J. R. Büchi,et al.  Solving sequential conditions by finite-state strategies , 1969 .

[3]  A. Lachlan.  On Some Games Which Are Relevant to the Theory of Recursively Enumerable Sets , 1970 .

[4]  Manuel Blum,et al.  Toward a Mathematical Theory of Inductive Inference , 1975, Inf. Control..

[5]  John Case,et al.  Comparison of Identification Criteria for Machine Inductive Inference , 1983, Theor. Comput. Sci..

[6]  Editors , 1986, Brain Research Bulletin.

[7]  P. Odifreddi.  Classical recursion theory , 1989 .

[8]  Wolfgang Thomas,et al.  Automata on Infinite Objects , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[9]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[10]  Manuel Blum,et al.  Inductive inference and unsolvability , 1991, Journal of Symbolic Logic.

[11]  Snehasis Mukhopadhyay,et al.  Intelligent Control Using Neural Networks , 1991, 1991 American Control Conference.

[12]  J. Remmel,et al.  Recursively presented games and strategies , 1992 .

[13]  Bertrand Zavidovique,et al.  Learning and control from a recursive viewpoint , 1992, Proceedings of the 1992 IEEE International Symposium on Intelligent Control.

[14]  Robert McNaughton,et al.  Infinite Games Played on Finite Graphs , 1993, Ann. Pure Appl. Logic.

[15]  Frank Stephan,et al.  On the structure of degrees of inferability , 1993, COLT '93.

[16]  E. Martin.  Oracles for learning programs , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[17]  Eduardo D. Sontag,et al.  Neural Networks for Control , 1993 .

[18]  J. G. Thistle,et al.  Control of Infinite Behavior of Finite Automata , 1994 .

[19]  Stuart A. Kurtz,et al.  Extremes in the Degrees of Inferability , 1994, Ann. Pure Appl. Log..

[20]  Klaus P. Jantke,et al.  Therapy Plan Generation as Program Synthesis , 1994, AII/ALT.

[21]  John Case,et al.  Learning Recursive Functions from Approximations , 1995, J. Comput. Syst. Sci..

[22]  Wolfgang Thomas,et al.  On the Synthesis of Strategies in Infinite Games , 1995, STACS.

[23]  Martin Kummer,et al.  Effective Strategies for Enumeration Games , 1995, CSL.

[24]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[25]  Martin Kummer,et al.  On a Quantitative Notion of Uniformity , 1996, Fundam. Informaticae.

[26]  Martin A. Riedmiller.  Learning to Control Dynamic Systems , 1996 .

[27]  Dominique Luzeaux.  Machine Learning Applied to the Control of Complex Systems , 1996 .

[28]  Martin Kummer,et al.  Learning branches and learning to win closed games , 1996, COLT '96.

[29]  John Case,et al.  Learning to Win Process-Control Games Watching Game-Masters , 1998, ALT.