NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.
Matthias CoslerChristopher HahnAyham OmarFrederik SchmittPublished in: CoRR (2024)
Keyphrases
- program synthesis
- neural network
- artificial neural networks
- neuro fuzzy
- neural learning
- portfolio selection
- real time
- information retrieval
- symbolic description
- case study
- connectionist models
- constraint solver
- reactive planning
- database
- portfolio management
- portfolio optimization
- constraint satisfaction problems
- np complete
- mobile robot
- decision making
- information systems
- artificial intelligence