Minimization of Dynamical Systems over Monoids

Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin. Minimization of Dynamical Systems over Monoids. In 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023. pages 1-14, IEEE, 2023. [doi]

Authors

Georgios Argyris

This author has not been identified. Look up 'Georgios Argyris' in Google

Alberto Lluch-Lafuente

This author has not been identified. Look up 'Alberto Lluch-Lafuente' in Google

Alexander Leguizamon-Robayo

This author has not been identified. Look up 'Alexander Leguizamon-Robayo' in Google

Mirco Tribastone

This author has not been identified. Look up 'Mirco Tribastone' in Google

Max Tschaikowski

This author has not been identified. Look up 'Max Tschaikowski' in Google

Andrea Vandin

This author has not been identified. Look up 'Andrea Vandin' in Google