Login / Signup

Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems.

Elisabetta De MariaAlexandre MuzyDaniel GafféAnnie RessoucheFranck Grammont
Published in: HSB (2016)
Keyphrases
  • temporal properties
  • reactive systems
  • model checking
  • temporal logic
  • formal methods
  • formal specification
  • neural network
  • decision making
  • artificial intelligence
  • case study