共 50 条
- [31] Discrete-time rewards model-checked FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 88 - 104
- [33] DISCRETE-TIME MODEL OF AN INDUCTION-MOTOR EUROPEAN TRANSACTIONS ON ELECTRICAL POWER ENGINEERING, 1991, 1 (02): : 65 - 71
- [39] Discrete-Time Trials for Tuning without a Model IFAC PAPERSONLINE, 2017, 50 (01): : 1539 - 1544