Login / Signup
Alexander Manta
ORCID
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Learning Systems
Heuristic Search
Domain Independent
Stochastic Games
Top Venues
CoRR
ATVA
</>
Publications
</>
Jan Kretínský
,
Alexander Manta
,
Tobias Meggendorfer
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.
CoRR
(2019)
Jan Kretínský
,
Alexander Manta
,
Tobias Meggendorfer
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.
ATVA
(2019)