Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhennan Fei, S. Miremadi, Knut Åkesson, Bengt Lennartson. Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration. In Joaquim Filipe, Ana L. N. Fred, editors, ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Rome, Italy, January 28-30, 2011. pages 106-115, SciTePress, 2011.

This author has not been identified. Look up 'Zhennan Fei' in GoogleThis author has not been identified. Look up 'S. Miremadi' in GoogleThis author has not been identified. Look up 'Knut Åkesson' in GoogleThis author has not been identified. Look up 'Bengt Lennartson' in Google

runs on WebDSL