Login / Signup
Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets.
Jianqiang Ding
Taoran Wu
Yuping Qian
Lijun Zhang
Bai Xue
Published in:
CoRR (2023)
Keyphrases
</>
social networks
database
neural network
real world
machine learning
high level
database systems
learning environment
preprocessing
dynamic programming