On the power of automata minimization in reactive synthesis
From MaRDI portal
Publication:6649518
DOI10.4204/EPTCS.346.8MaRDI QIDQ6649518
Author name not available (Why is that?)
Publication date: 6 December 2024
No records found.
This page was built for publication: On the power of automata minimization in reactive synthesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6649518)
