Parametric Systems: Verification and Synthesis.

Viorica Sofronie-Stokkermans

Published in: CoRR (2019)

Keyphrases

expert systems
databases
neural network
genetic algorithm
natural language
distributed systems
intelligent systems
program synthesis