RTLola on Board: Testing Real Driving Emissions on your Phone

Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns +3

This paper is about shipping runtime verification to the masses. It presents the crucial technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild.…