Login / Signup

On the use of formal methods to model and verify neuronal archetypes.

Elisabetta De MariaAbdorrahim BahramiThibaud L'YvonnetAmy P. FeltyDaniel GafféAnnie RessoucheFranck Grammont
Published in: Frontiers Comput. Sci. (2022)
Keyphrases
  • formal methods
  • mathematical model
  • probabilistic model
  • computational model
  • neural network
  • high level
  • natural language
  • formal model
  • metamodel
  • agent model