Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis.

Sumanth Dathathri Richard M. Murray

Published in: CoRR (2017)

Keyphrases

real time
artificial intelligence
case study
computationally expensive
database
neural network
machine learning
e learning
image sequences
video sequences
lightweight
computationally efficient
cost effective
computer games