SemML 2.0: Synthesizing Controllers for LTL — Jan Křetínský, Tobias Meggendorfer, Maximilian Prokop | Kutubxona