共 50 条
- [43] ADAPTIVE FINITE-STATE MODELS OF MANUAL CONTROL SYSTEMS IEEE TRANSACTIONS ON MAN-MACHINE SYSTEMS, 1968, MMS9 (01): : 15 - &
- [44] RESEARCH ON AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS ANNUAL REVIEW OF COMPUTER SCIENCE, 1987, 2 : 269 - 290
- [47] Temporal Logics in Computer Science Finite-State Systems STUDIA LOGICA, 2019, 107 (05) : 1083 - 1088
- [49] Approximate finite-state feedback controller of hybrid systems PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 5589 - 5594