Signal temporal logic-based neural network for driving task generation in Advanced Driver Assistance Systems. - Kazumune Hashimoto; Yusuke Yokokawa; Norika Arai; Xun Shen; Xingguo Zhang; Pongsathorn Raksincharoensak (Eng. Appl. Artif. Intell., 2026)