Pawel Skruch, Marek Dlugosz, Pawel Markiewicz. A Formal Approach for the Verification of Control Systems in Autonomous Driving Applications. In Wojciech Mitkowski, Janusz Kacprzyk, Krzysztof Oprzedkiewicz, Pawel Skruch, editors, Trends in Advanced Intelligent Control, Optimization and Automation - Proceedings of KKA 2017 - The 19th Polish Control Conference, Kraków, Poland, June 18-21, 2017. Volume 577 of Advances in Intelligent Systems and Computing, pages 178-189, Springer, 2017. [doi]
Abstract is missing.