Knor: reactive synthesis using Oink
T van Dijk, F van Abbema, N Tomov - … on Tools and Algorithms for the …, 2024 - Springer
We present an innovative approach to the reactive synthesis of parity automaton
specifications, which plays a pivotal role in the synthesis of linear temporal logic. We find …
specifications, which plays a pivotal role in the synthesis of linear temporal logic. We find …
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
J Kretinsky, T Meggendorfer, M Prokop… - ar** (Extended Paper)
Previous research on the Adiar BDD package has been successful at designing algorithms
capable of handling large Binary Decision Diagrams (BDDs) stored in external memory. To …
capable of handling large Binary Decision Diagrams (BDDs) stored in external memory. To …
Transformations d'ω-automates pour la synthèse de systèmes réactifs
F Renkin - 2022 - theses.hal.science
La synthèse vise à produire un système correct à partir de spécifications. Une approche
pour résoudre ce problème consiste à traduire la spécification en un jeu de parité dont la …
pour résoudre ce problème consiste à traduire la spécification en un jeu de parité dont la …