www.prismmodelchecker.org
[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.]
Links: [Google] [Google Scholar]

Publications