共 56 条
[2]
Althoff M, 2017, IEEE INT VEH SYM, P719, DOI 10.1109/IVS.2017.7995802
[4]
[Anonymous], 2009, Verification and Control of Hybrid Systems: A Symbolic Approach
[5]
[Anonymous], 2007, IFAC P
[6]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[7]
Belta C, 2017, STUD SYST DECIS CONT, V89, P1, DOI 10.1007/978-3-319-50763-7
[8]
Bertsekas D., 1996, Stochastic Optimal Control: The Discrete-Time Case, V5
[9]
Bisoffi A, 2018, P AMER CONTR CONF, P634, DOI 10.23919/ACC.2018.8430795
[10]
De Giacomo G, 2015, PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), P1558