共 50 条
- [21] A work-efficient distributed algorithm for reachability analysis COMPUTER AIDED VERIFICATION, 2003, 2725 : 54 - 66
- [22] Efficient Partition of State Space for Parallel Reachability Analysis 3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, 2005,
- [23] Disjunctive Transition Relation decomposition for efficient reachability analysis HLDVT'06: ELEVENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2006, : 29 - +
- [24] Efficient hybrid reachability analysis for asynchronous concurrent systems CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2003, 2860 : 378 - 393
- [27] Efficient WCRT Analysis of Synchronous Programs using Reachability PROCEEDINGS OF THE 48TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2011, : 480 - 485
- [28] Delete-ree Reachability Analysis for Temporal and Hierarchical Planning ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1698 - 1699
- [29] Efficient continuous re-grasp planning for moving and deforming planar objects 2006 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-10, 2006, : 2472 - +
- [30] Efficient Procedures for Form-Closure Grasp Planning and Fixture Layout Design JOURNAL OF MANUFACTURING SCIENCE AND ENGINEERING-TRANSACTIONS OF THE ASME, 2009, 131 (04): : 0410101 - 04101011