Browsing by Author "Sjöberg, Anders"
Now showing items 1-3 of 3
-
Formalisering av Algoritmer och Matematiska Bevis En formalisering av Toom-Cook algoritmen i Coq med SSReflect
Andersson, Jesper; Lideström, Åsa; Oom, Daniel; Sjöberg, Anders; Ståhl, Niclas (2014-10-02)Computer-aided formalization of mathematics has progressed in the last decade with the formalization of very large and complex proofs such as the proof of the Four color theorem and the Feit-Thompson theorem. In this report ... -
Robust Design and Analysis of Automotive Collision Avoidance
Sjöberg, Anders (2017-02-10)Automotive collision avoidance systems help the driver to avoid or mitigate a collision. The main objective of this project is to find a methodology to improve the performance of Volvo's automotive collision avoidance ... -
Robust Design and Analysis of Automotive Collision Avoidance Algorithms
Sjöberg, Anders (2019-06-17)Automotive collision avoidance systems help the driver to avoid or mitigate a collision. The main objective of this project is to find a methodology to improve the performance of Volvo’s automotive collision avoidance system ...