Tags

timed language
control
delay
games
learning
nonlinear arithmetic
linearization
spectral analysis
hybrid automata
solvable systems