Having a formal model of neural networks can greatly help in understanding and verifying
their properties, behavior, and response to external factors such as disease and medicine. In …

188 Symbolic Approaches to Modeling and Analysis of Biological Systems properties. In
biomedicine, the study of multi-omic pathway interactions, together with clinical and …

In this paper we address the issue of automatically learning parameters of spiking neural
networks. Biological neurons are formalized as timed automata and synaptical connections …

Formal verification has become increasingly important because of the kinds of guarantees
that it can provide for software systems. Verification of models of biological and medical …

Spiking Neural Networks (SNNs) have found increasing utility in designing safety-critical
Cyber-Physical Systems (CPSs) such as implantable medical devices, autonomous …

202 Modélisation et analyse des systèmes biologiques utilisons directement CIC et Coq
pour modéliser les neurones et certains circuits neuronaux simples et prouver certaines de …

Have you ever wondered why a company like Tesla pays undivided attention to the safety
issues in its cars? Just last year, the giant automotive company recalled almost half a million …

Since the mid-1990s, formal verification has become increasingly important because it can
provide guarantees that a software system is free of bugs and working correctly based on a …

In this work we introduce a new approach to learn the synaptical weights of neural biological
networks. At this aim, we consider networks of Leaky Integrate and Fire neurons and model …