Can I read NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis on EtoBox?

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis by Matthias Cosler; Christopher Hahn; Ayham Omar; Frederik Schmitt is a book available to read on EtoBox.

What is NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis about?

## Abstract We introduce , a neuro-symbolic portfolio solver framework for reactive synthesis. At the core of the solver lies a seamless integration of neural and symbolic approaches to solving the reactive synthesis problem. To ensure soundness, the neural engine is coupled with model checkers verifying the predictions of the underlying neural models. The open-source implementation of provides an integration framework for reactive synthesis in which new neural and state-of-the-art symbolic approaches can be seamlessly integrated. Extensive experiments demonstrate its efficacy in handling challenging specifications, enhancing the state-of-the-art reactive synthesis solvers, with contributing novel solves in the current SYNTCOMP benchmarks.

Author

Matthias Cosler; Christopher Hahn; Ayham Omar; Frederik Schmitt

Publisher

Springer Nature Switzerland AG

Published

2024

Language

EN

ISBN

9783031572562

Subjects

Computer Science, Engineering, Stem