C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement.
Stanley Bak
Sergiy Bogomolov
Brandon Hencey
Niklas Kochdumper
Ethan Lew
Kostiantyn Potomkin
Published in:
CAV (1) (2022)
Keyphrases
</>
building blocks
management system
real time
databases
neural network
information retrieval
image sequences
expert systems
feature set
intelligent systems
complex systems
fourier transform