Masoumeh Panahi, Ali Shakeri 0001. On Formal Specification of Automated Lane Keeping Systems Requirements. In 29th International Computer Conference, Computer Society of Iran, CSICC 2025, Iran, February 5-6, 2025. pages 1-6, IEEE, 2025. [doi]
Abstract is missing.