共 50 条
- [41] High-level observability for effective high-level ATPG Proceedings of the IEEE VLSI Test Symposium, 2000, : 411 - 416
- [42] High-Level Programming via Generalized Planning and LTL Synthesis KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 152 - 161
- [43] Planning of High-level Maneuver Sequences on Semantic State Spaces 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, 2015, : 2090 - 2096
- [45] Compilation of a high-level temporal planning language into PDDL 2.1 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 2, 2010, : 181 - 188
- [46] Planning high-level paths in hostile, dynamic, and uncertain environments Journal of Artificial Intelligence Research, 2020, 69 : 297 - 342
- [48] Planning High-Level Paths in Hostile, Dynamic, and Uncertain Environments JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2020, 69 : 297 - 342
- [50] High-Level Concepts for a Space Enterprise Portfolio Planning Framework 2023 IEEE AEROSPACE CONFERENCE, 2023,