DCSynth: Guided Reactive Synthesis with Soft Requirements.

Amol Wakankar Paritosh K. Pandya Raj Mohan Matteplackel

Published in: VSTTE (2019)

Keyphrases

neural network
user requirements
functional requirements
program synthesis
real time
information retrieval
genetic algorithm
artificial intelligence
multiresolution
management system
design principles
agent architecture
application specific
hard constraints