共 40 条
[21]
Kroger F, 2010, TEMPORAL LOGIC STATE
[23]
LaValle S. M., 2006, Planning Algorithms
[25]
Mazala R., 2002, Automata logics, and infinite games: a guide to current research, V2500, P23, DOI 10.1007/3-540-36387-42
[26]
Pinedo ML, 2012, SCHEDULING: THEORY, ALGORITHMS, AND SYSTEMS, FOURTH EDITION, P1, DOI 10.1007/978-1-4614-2361-4
[29]
Sheng-Luen Chung, 1994, Discrete Event Dynamic Systems: Theory & Applications, V4, P237, DOI 10.1007/BF01438709
[30]
Sheng-Luen Chung, 1993, Discrete Event Dynamic Systems: Theory & Applications, V3, P71, DOI 10.1007/BF01439177