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]
@inproceedings{GleizerMM22,
title = {A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence},
author = {Gabriel de Albuquerque Gleizer and Khushraj Madnani and Manuel Mazo Jr.},
year = {2022},
doi = {10.1145/3501710.3519534},
url = {https://doi.org/10.1145/3501710.3519534},
researchr = {https://researchr.org/publication/GleizerMM22},
cites = {0},
citedby = {0},
booktitle = {HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022},
publisher = {ACM},
isbn = {978-1-4503-9196-2},
}