Games, automata and matching

被引：0

作者：

Stirling, Colin ^{[1
]}

机构：

[1] Univ Edinburgh, Sch Informat, Edinburgh EH8 9YL, Midlothian, Scotland

来源：

AUTOMATED DEDUCTION - CADE-21, PROCEEDINGS | 2007年 / 4603卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：1 / 2

页数：2

共 50 条

[1] Higher-order matching, games and automata
Stirling, Colin
[J]. 22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 326 - 335
[2] FORMULATION OF LEARNING AUTOMATA AND AUTOMATA GAMES
FU, KS
LI, TJ
[J]. INFORMATION SCIENCES, 1969, 1 (03) : 237 - &
[3] STOCHASTIC AUTOMATA GAMES
CHANDRASEKARAN, B
SHEN, DWC
[J]. IEEE TRANSACTIONS ON SYSTEMS SCIENCE AND CYBERNETICS, 1969, SSC5 (02): : 145 - +
[4] AUTOMATA WALKS GAMES
KOROLYUK, VS
PLETNEV, AI
EIDELMAN, SD
[J]. RUSSIAN MATHEMATICAL SURVEYS, 1988, 43 (01) : 103 - 147
[5] GAMES OF STOCHASTIC AUTOMATA
PLETNEV, AI
[J]. CYBERNETICS, 1983, 19 (02): : 271 - 277
[6] GAMES OF STOCHASTIC AUTOMATA
EIDELMAN, SD
EZROKHI, AI
[J]. DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1979, (08): : 663 - 667
[7] GAMES OF STOCHASTIC AUTOMATA
VISWANATHAN, R
NARENDRA, KS
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1974, SMC4 (01): : 131 - 135
[8] The Rabin Index and Chain automata, with applications to automata and games
Krishnan, SC
Puri, A
Brayton, RK
Varaiya, PP
[J]. COMPUTER AIDED VERIFICATION, 1995, 939 : 253 - 266
[9] ON A CLASS OF FINITE AUTOMATA GAMES
ISMAILOV, RN
POKROVSKII, AV
CHERNORUTSKII, VV
[J]. AUTOMATION AND REMOTE CONTROL, 1993, 54 (08) : 1304 - 1309
[10] REPEATED GAMES WITH FINITE AUTOMATA
BENPORATH, E
[J]. JOURNAL OF ECONOMIC THEORY, 1993, 59 (01) : 17 - 32