Effective Synthesis of Asynchronous Systems from GR(1) Specifications.

Uri Klein Nir Piterman Amir Pnueli

Published in: VMCAI (2012)

Keyphrases

asynchronous circuits
neural network
state machines
delay insensitive
real time
databases
high quality
expert systems
building blocks
learning systems
complex systems
embedded systems
reactive systems