Tags

timed language
control
delay
games
learning
nonlinear arithmetic
linearization
spectral analysis
solvable systems
Tarski's algebra