Memory efficient symbolic solution of quantitative reach-avoid problems.

Elisei Macoveiciuc Gunther Reissig

Published in: ACC (2019)

Keyphrases

memory efficient
approximate solutions
exact solution
linear equations
data sets
neural network
optimal solution
np complete
decision problems
variational inequalities
partial solutions
efficient solutions
algebraic equations