Login / Signup

Refinement and Verification of Responsive Control Systems.

Karla MorrisColin F. SnookThai Son HoangGeoffrey C. HuletteRobert C. ArmstrongMichael J. Butler
Published in: ABZ (2020)
Keyphrases
  • control system
  • model checking
  • safety analysis
  • neural network
  • person identification
  • genetic algorithm
  • computer vision
  • search algorithm
  • smart card
  • control law
  • false acceptance rate