Synthesis from mixed specifications.

Giovanni De Micheli Vincent John Mooney III Claudionor Nunes Coelho Toshiyuki Sakamoto

Published in: EURO-DAC (1996)

Keyphrases

program synthesis
formal specification
machine learning
real time
mobile robot
high level
real world
neural network
artificial intelligence
three dimensional
information retrieval
similarity measure
evolutionary algorithm
functional requirements
database
delay insensitive
bounded model checking