Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2305.15109
Cited By
Guessing Winning Policies in LTL Synthesis by Semantic Learning
International Conference on Computer Aided Verification (CAV), 2023
24 May 2023
Jan Křetínský
Tobias Meggendorfer
Maximilian Prokop
Sabine Rieder
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Guessing Winning Policies in LTL Synthesis by Semantic Learning"
1 / 1 papers shown
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2024
Matthias Cosler
Christopher Hahn
Ayham Omar
Frederik Schmitt
NAI
168
1
0
22 Jan 2024
1
