共 37 条
- [1] Akella S, 2002, 2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, P624, DOI 10.1109/ROBOT.2002.1013428
- [2] Alonso-Mora J, 2012, IEEE INT CONF ROBOT, P360, DOI 10.1109/ICRA.2012.6225166
- [3] Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
- [5] BIG-CCA: Beacon-Less, Infrastructure-Less, and GPS-Less Cooperative Collision Avoidance Based on Vehicular Sensor Networks [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2016, 46 (11): : 1518 - 1528
- [6] Coffman E. G. Jr., 1971, Computing Surveys, V3, P67, DOI 10.1145/356586.356588
- [7] Dias MB, 2004, IEEE INT CONF ROBOT, P3435
- [9] Gan SK, 2012, IEEE INT CONF ROBOT, P504, DOI 10.1109/ICRA.2012.6224975
- [10] Gross Jonathan L., 2013, Handbook of Graph Theory, V2nd. ed.