|
[BXACD19]
Xin Bai, Chenghao Xu, Yi Ao, Biao Chen and Dehui Du.
Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP.
In Proc. International Symposium on Theoretical Aspects of Software Engineering (TASE'19), pages 152-159.
2019.
[Builds and analyses models of driver behaviour, using PRISM to solve MDPs.]
|
|
Links:
[Google]
[Google Scholar]
|