Vehicle Platooning Simulations with Functional Reactive Programming
Programming Languages
2018-03-29 v1
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.
Cite
@article{arxiv.1803.10383,
title = {Vehicle Platooning Simulations with Functional Reactive Programming},
author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito},
journal= {arXiv preprint arXiv:1803.10383},
year = {2018}
}
Comments
SCAV@CPSWeek 2017