Vehicle Platooning Simulations with Functional Reactive Programming

Download PDF
Open Webpage

Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito

Published: 2018, Last Modified: 08 May 2026CoRR 2018EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Functional languages have provided major benefits to the verification community. Although features such as purity, a strong type system, and computational abstractions can help guide programmers away from costly errors, these can present challenges when used in a reactive system. Functional Reactive Programming is a paradigm that allows users the benefits of functional languages and an easy interface to a reactive environment. We present a tool for building autonomous vehicle controllers in FRP using Haskell.