Minimizing Transition Systems Modulo Alternating Simulation Equivalence

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Gabriel de Albuquerque Gleizer; Khushraj Madnani; Manuel Mazo Jr.

Journal title: Proceedings of the 25th ACM International Conference on Hybrid Systems (HSCC 2022)

Journal publisher: ACM

Published year: 2022

DOI identifier: 10.48550/arxiv.2203.01672