HiWi

Ayham Omar

E-Mail

Telefon

+49 681 87083 2397

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Veröffentlichungen von Ayham Omar

Jahr 2024

2024-04-05

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

Konferenz / Medium

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

Tags

Zuverlässige Sicherheitsgarantien

Autor:innen

Zum Paper Detail-Seite besuchen