Compositional Synthesis of Finite-State Abstractions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar. Compositional Synthesis of Finite-State Abstractions. IEEE Trans. Automat. Contr., 64(6):2629-2636, 2019. [doi]

This author has not been identified. Look up 'Kaushik Mallik' in GoogleThis author has not been identified. Look up 'Anne-Kathrin Schmuck' in GoogleThis author has not been identified. Look up 'Sadegh Soudjani' in GoogleThis author has not been identified. Look up 'Rupak Majumdar' in Google

runs on WebDSL