共 50 条
- [21] Automatically refining abstract interpretations TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 443 - +
- [22] Refining and compressing abstract domains AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 771 - 781
- [23] Action Effect Generalization, Recognition and Execution through Continuous Goal-Directed Actions 2014 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2014, : 1822 - 1827
- [24] Library of actions: Implementing a generic robot execution framework by using manipulation action semantics INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2019, 38 (08): : 910 - 934
- [25] AN ABSTRACT EXECUTION MODEL FOR BASIC LOTOS SOFTWARE ENGINEERING JOURNAL, 1990, 5 (06): : 311 - 318
- [29] Abstract Interpretation under Speculative Execution PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 802 - 815
- [30] Transforming and refining abstract constraint specifications ABSTRACTION, REFORMULATION AND APPROXIMATION, PROCEEDINGS, 2005, 3607 : 76 - 91