DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements.

Amol Wakankar Paritosh K. Pandya Raj Mohan Matteplackel

Published in: CoRR (2019)

Keyphrases

databases
website
software tools
learning algorithm
information systems
database
real time
machine learning
search space
user interface
functional requirements
real time systems
reactive planning