共 50 条
- [1] ON CHECKING EXPERIMENTS WITH NONDETERMINISTIC AUTOMATA [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1991, (06): : 81 - 85
- [2] Distinguishing Experiments for Timed Nondeterministic Finite State Machines [J]. ACTA CYBERNETICA, 2013, 21 (02): : 205 - 222
- [4] Feedback Control of Nondeterministic Input/Output Automata [J]. 2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 6737 - 6743
- [6] Distinguishing experiments with nondeterministic non-initialized finite state machines [J]. VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE, 2011, 17 (04): : 93 - 101
- [10] Nondeterministic tree automata [J]. AUTOMATA, LOGICS, AND INFINITE GAMES: A GUIDE TO CURRENT RESEARCH, 2002, 2500 : 135 - 152