Login / Signup

Verification-Based Design of a Robust EMG Wake Word.

Pradeep KumarAngkoon PhinyomarkErik J. Scheme
Published in: EMBC (2021)
Keyphrases
  • computer aided
  • object oriented
  • knowledge based systems
  • building blocks
  • model checking
  • formal verification
  • artificial intelligence
  • case study
  • expert systems
  • user interface
  • hidden markov models
  • probabilistic model