Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems.

Bai Xue Naijun Zhan Martin Fränzle

Published in: CDC (2020)

Keyphrases

complex systems
management system
distributed systems
artificial intelligence
search algorithm
intelligent systems
building blocks
neural network
computer systems
finite state