TAS::57 3600::TAS "TITLE: (YIP) FORMAL SYNTHESIS OF SOFTWARE-BASED CONTROL PROTOCOLS FOR FRACTIONATED, COMPOSABLE AUTONOMOUS SYSTEMS"

California Institute Of Technology, Pasadena CA

Investigators