Login / Signup

Reachability Analysis Using Spectrum of Koopman Operator.

Bhagyashree UmatheDuvan Tellez-CastroUmesh Vaidya
Published in: IEEE Control. Syst. Lett. (2023)
Keyphrases
  • reachability analysis
  • model checking
  • markov decision processes
  • timed automata
  • incremental algorithms
  • state space
  • decision making
  • embedded systems