共 17 条
[1]
[Anonymous], 2009, P ICRA WORKSH OP SOU
[2]
Ayala AIM, 2013, IEEE INT C INT ROBOT, P5279, DOI 10.1109/IROS.2013.6697120
[3]
Bircher A, 2016, IEEE INT CONF ROBOT, P1462, DOI 10.1109/ICRA.2016.7487281
[4]
Castro LIR, 2013, IEEE DECIS CONTR P, P3217, DOI 10.1109/CDC.2013.6760374
[5]
Cieslewski T, 2017, IEEE INT C INT ROBOT, P2135, DOI 10.1109/IROS.2017.8206030
[6]
Connolly C., 1985, P IEEE INT C ROB AUT, V2, P432, DOI DOI 10.1109/ROBOT.1985.1087372
[7]
Donzé A, 2010, LECT NOTES COMPUT SC, V6246, P92, DOI 10.1007/978-3-642-15297-9_9
[10]
Sampling-based Motion Planning with Deterministic μ-Calculus Specifications
[J].
PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009),
2009,
:2222-2229