Sign in
Decomposing GR(1) games with singleton liveness guarantees for efficient synthesis.
Sumanth Dathathri
Richard M. Murray
Published in:
CDC (2017)
Keyphrases
</>
neural network
cost effective
image sequences
data structure