Login / Signup

Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method.

Masaki NakamuraKazutoshi SakakibaraYuki OkuraKazuhiro Ogata
Published in: Int. J. Softw. Eng. Knowl. Eng. (2021)
Keyphrases
  • formal verification
  • model checking
  • neural network
  • learning algorithm
  • expert systems
  • high dimensional
  • multi class
  • black box
  • multi task