Fremont, Daniel J. http://orcid.org/0000-0002-9992-9965
Kim, Edward
Dreossi, Tommaso
Ghosh, Shromona
Yue, Xiangyu
Sangiovanni-Vincentelli, Alberto L.
Seshia, Sanjit A. http://orcid.org/0000-0001-6190-8707
Funding for this research was provided by:
National Science Foundation (DGE-1106400, CNS-1545126)
National Science Foundation (CNS-1646208, CNS-1739816)
National Science Foundation (CCF-1837132)
Defense Advanced Research Projects Agency (FA8750-16-C0043, FA8750-20-C-0156)
Berkeley Deep Drive
Semiconductor Research Corporation (TerraSwarm)
iCyPhy
Article History
Received: 22 September 2020
Revised: 13 October 2021
Accepted: 27 October 2021
First Online: 2 February 2022
Declarations
:
: DJF is a guest editor of the special issue in which this article appears; he was recused from all matters related to this paper. Otherwise, the authors have no conflicts of interest to declare that are relevant to the content of this article.
: The <scp>Scenic</scp> implementation is open-source; its code, as well as code for all <scp>Scenic</scp> programs used in this paper, can be found at ExternalRef removed.