• 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 BakSergiy BogomolovBrandon HenceyNiklas KochdumperEthan LewKostiantyn 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