Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)
Summary
DARPA's Information Processing Techniques Office issued an RFI seeking input on research for Formal Learning and Abstractions for System Heterogeneity (FLASH). The request focuses on national‑security applications that could gain robustness from heterogeneous engineering solutions and on techniques to automatically synthesize high‑assurance cyber‑physical systems from formal specifications.