Items where Author is "Manta, Alexander"

Kretínský, Jan and Manta, Alexander and Meggendorfer, Tobias (2019) Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. In: Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . UNSPECIFIED, pp. 404-422. ISBN 9783030317836