共 50 条
- [32] Symbolic execution with abstract subsumption checking MODEL CHECKING SOFTWARE, PROCEEDINGS, 2006, 3925 : 163 - 181
- [33] Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models 2021 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2021), 2021, : 11025 - 11031
- [34] An abstract setting for hamiltonian actions MONATSHEFTE FUR MATHEMATIK, 2010, 159 (03): : 261 - 288
- [36] WORDS AND ACTIONS AS ABSTRACT OBJECTS DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1992, 40 (10): : 1141 - 1154
- [38] FUNCTIONAL-MODELING IN THE EXECUTION OF ACTIONS COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1987, 6 (05): : 469 - 480
- [40] Minimal TCB code execution (Extended abstract) 2007 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2007, : 267 - +