PRISM Bibliography (external)

The following is a bibliography of external PRISM-related papers. These are all published by authors who are not part of the PRISM team.

See also the lists of papers produced by the PRISM team, selected PRISM papers and the full PRISM bibliography.

If there is something we have omitted, please contact us.

Sort by: date, type, title, subject

3 matches for driver:

[CAG21] Radu Calinescu, Naif Alasmari and Mario Gleirscher. Maintaining driver attentiveness in shared-control autonomous driving. In Proc. International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'21). 2021. [Presents a control loop for improving driver attentiveness with controllers synthesised via PRISM models.]

[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.]

[SDC+14] Dorsa Sadigh, Katherine Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry and Sanjit A. Seshia. Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior. In Proc. AAAI Spring Symposium on Formal Verification & Modeling in Human-Machine Systems. 2014. [Analyses formal probabilistic models of driver behaviour, constructed with PRISM.]

Sort by: date, type, title, subject