SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

Autoři	KŘETÍNSKÝ Jan MEGGENDORFER Tobias PROKOP Maximilian ZARKAH Ashkan
Rok publikování	2025
Druh	Článek ve sborníku
Konference	Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025.
Citace
www	https://link.springer.com/chapter/10.1007/978-3-031-90643-5_12
Související projekty:	Modelování, analýza a verifikace (2025)