Login / Signup
Ayham Omar
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Symbolic Description
Reactive Planning
Portfolio Selection
Program Synthesis
Top Venues
CoRR
</>
Publications
</>
Matthias Cosler
,
Christopher Hahn
,
Ayham Omar
,
Frederik Schmitt
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.
CoRR
(2024)