Send email Copy Email Address
Placeholder
Research Assistant

Ayham Omar

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Publications by Ayham Omar

Year 2024

2024-04-05

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page