https://ces.eecs.umich.edu/about2026-04-17T21:41:36.383Zdaily0.7 https://ces.eecs.umich.edu/group2026-04-17T21:41:36.383Zdaily0.7 https://ces.eecs.umich.edu2026-04-17T21:41:36.383Zdaily0.7 https://ces.eecs.umich.edu/projects2026-04-17T21:41:36.383Zdaily0.7 https://ces.eecs.umich.edu/publications2026-04-17T21:41:36.383Zdaily0.7 https://ces.eecs.umich.edu/teaching2026-04-17T21:41:36.383Zdaily0.7 https://ces.eecs.umich.edu/force26/about2026-04-17T21:41:36.383Zdaily0.7 https://ces.eecs.umich.edu/force26/cfp2026-04-17T21:41:36.383Zdaily0.7 https://ces.eecs.umich.edu/force26/keynotes2026-04-17T21:41:36.383Zdaily0.7 https://ces.eecs.umich.edu/force26/organizers2026-04-17T21:41:36.383Zdaily0.7 https://ces.eecs.umich.edu/force262026-04-17T21:41:36.383Zdaily0.7 https://ces.eecs.umich.edu/papers/2018-IWSPA.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2018-MEMOCODE.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2019-CyPhy.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2019-EMSOFT.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2022_NFM.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2022_SystemDesign.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2023_FORMALISE.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2023_MEMOCODEa.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2023_MEMOCODEb.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2023_NFM.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2023_SMCIT.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2024_CDC_GeneticCircuitAssurance.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2024_ISoLA_ContractTensorProduct.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2024_LCSS_LayeredControl.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2024_SCP_LTLContractSynthesis.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2025_RV_CompositionalCPSDiagnostics.pdfdaily0.3 https://ces.eecs.umich.edu/papers/2025_STCPS_AgAlgebra.pdfdaily0.3