共 50 条
- [24] Temporal Concurrent Planning with Stressed Actions 2018 IEEE-RAS 18TH INTERNATIONAL CONFERENCE ON HUMANOID ROBOTS (HUMANOIDS), 2018, : 901 - 908
- [28] Modeling Temporal Dynamics and Spatial Configurations of Actions Using Two-Stream Recurrent Neural Networks 30TH IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR 2017), 2017, : 3633 - 3642
- [29] Defining noninterference in the temporal logic of actions 1996 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 1996, : 12 - 21
- [30] Actions with Failures in Interval Temporal Logic COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2008, 5056 : 22 - 41