Items where Author is "Zarkhah, Ashkan"

Contribution in Book/Report/Proceedings

Křetínský, Jan and Meggendorfer, Tobias and Prokop, Maximilian and Zarkhah, Ashkan (2025) SemML : Enhancing Automata-Theoretic LTL Synthesis with Machine Learning. In: Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings :. Lecture Notes in Computer Science . Springer, CAN, pp. 233-253. ISBN 9783031906428