LQR via First Order Flows.

Jingjing Bu Afshin Mesbahi Mehran Mesbahi

Published in: ACC (2020)

Keyphrases

first order logic
higher order
optimal control
data sets
linear temporal logic
stochastic dominance
relational learning
quantifier elimination