Reach-avoid problems with time-varying dynamics, targets and constraints.

Jaime F. Fisac Mo Chen Claire J. Tomlin S. Shankar Sastry

Published in: HSCC (2015)

Keyphrases

co occurrence
sufficient conditions
benchmark problems
physical constraints
machine learning
dynamical systems
constraint programming
resource constraints
combinatorial problems