SynthLearn: A Tool for Guided Reactive Synthesis.

Mrudula Balachander Emmanuel Filiot Jean-François Raskin

Published in: Taming the Infinities of Concurrency (2024)

Keyphrases

real world
face recognition
search algorithm
analysis tool
program synthesis
neural network
genetic algorithm
wide range