Sign in

Reachability Analysis and Simulation for Hybridised Event-B Models.

Yamine Aït AmeurSergiy BogomolovGuillaume DupontNeeraj Kumar SinghPaulius Stankaitis
Published in: IFM (2022)
Keyphrases
  • reachability analysis
  • mathematical models
  • simulation models
  • probabilistic model
  • neural network
  • real time
  • machine learning
  • least squares
  • statistical models
  • markov decision processes
  • markov models