Revisiting Synthesis of GR(1) Specifications.

Uri Klein Amir Pnueli

Published in: Haifa Verification Conference (2010)

Keyphrases

texture synthesis
high level
formal specification
delay insensitive
website
three dimensional
program synthesis
machine learning
information systems
multi agent
artificial neural networks
finite state machines
operational semantics
functional programs
written in natural language