A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.. A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. In HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022. ACM, 2022. [doi]

This author has not been identified. Look up 'Gabriel de Albuquerque Gleizer' in GoogleThis author has not been identified. Look up 'Khushraj Madnani' in GoogleThis author has not been identified. Look up 'Manuel Mazo Jr.' in Google

runs on WebDSL