共 50 条
- [31] Relational Symbolic Execution PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), 2019,
- [32] Integrated mission specification and task allocation for robot teams - Design and implementation PROCEEDINGS OF THE 2007 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-10, 2007, : 4428 - +
- [34] Formal specification of SIMD execution 1996 IEEE SECOND INTERNATIONAL CONFERENCE ON ALGORITHMS & ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP'96, PROCEEDINGS OF, 1996, : 319 - 325
- [35] Specification Extraction by Symbolic Execution 2013 20TH WORKING CONFERENCE ON REVERSE ENGINEERING (WCRE), 2013, : 462 - 466
- [39] Robot task plan representation by Petri nets: modelling, identification, analysis and execution Autonomous Robots, 2012, 33 : 337 - 360
- [40] Learning from Demonstration Facilitates Human-Robot Collaborative Task Execution ELEVENTH ACM/IEEE INTERNATIONAL CONFERENCE ON HUMAN ROBOT INTERACTION (HRI'16), 2016, : 59 - 66