A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles by Albert Rizaldi π§ and Fabian Immler π Jun 01
Executable Multivariate Polynomials by Christian Sternagel π§, RenΓ© Thiemann π, Alexander Maletzky π, Fabian Immler π, Florian Haftmann π, Andreas Lochbihler π and Alexander Bentkamp π§ Aug 10