Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. Discrete Event Dynamic Systems, 22(2):121-161, 2012. [doi]

This author has not been identified. Look up 'Gabriel Kalyon' in GoogleThis author has not been identified. Look up 'Tristan Le Gall' in GoogleThis author has not been identified. Look up 'Hervé Marchand' in GoogleThis author has not been identified. Look up 'Thierry Massart' in Google

runs on WebDSL