共 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]
[Anonymous], 1967, Stochastic Stability and Control
[7]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[8]
Belta C, 2017, STUD SYST DECIS CONT, V89, P1, DOI 10.1007/978-3-319-50763-7
[9]
Bertsekas D. P., 1996, Stochastic Optimal Control: The Discrete -Time Case, V5
[10]
Bisoffi A, 2018, P AMER CONTR CONF, P634, DOI 10.23919/ACC.2018.8430795