Login / Signup

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers.

Stuart PernsteinerCalvin LoncaricEmina TorlakZachary TatlockXi WangMichael D. ErnstJonathan Jacky
Published in: CAV (2) (2016)
Keyphrases
  • three dimensional
  • experimental data
  • genetic algorithm
  • information systems
  • d objects
  • statistical models
  • bayesian framework
  • parametric models