Sign in

Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration.

Dario CattaruzzaAlessandro AbatePeter SchrammelDaniel Kroening
Published in: J. Autom. Reason. (2021)
Keyphrases
  • statistical models
  • real time
  • case study
  • probabilistic model
  • higher level
  • database
  • data mining
  • multi agent systems
  • parameter estimation
  • machine learning algorithms
  • multistage
  • experimental data