SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
| Authors | |
|---|---|
| Year of publication | 2025 |
| Type | Article in Proceedings |
| Conference | Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025. |
| Citation | |
| web | https://link.springer.com/chapter/10.1007/978-3-031-90643-5_12 |
| Related projects: |