The project is part of the Symbiotic Design for CPS (SDCPS) program, with a goal to develop AI-based approaches to enable correct-by-construction design of military-relevant CPS.