One of our PhD students, Alexander Manta, will be presenting a paper at ATVA 2019 this week.

The paper, Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis, is joint work with Jan Kretínský and Tobias Meggendorfer.