Fateh Boudardara

Université Gustave Eiffel · Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (ESTAS)

Automatic navigation of mobile robots has an increasing importance in many application fields such as robotics, mining industry, underwater exploration, aerospace research, virtual environments and games. In this study, we use artificial bee colony programming (ABCP), which is a novel evolutionary computation based automatic programming method, to...

Artificialant problem is considered as a sub-problem of robotic path planning. In this study, it is solved using two different methods: artificial bee colony programming and a new version of it called shrinking artificial bee colony programming. The former is a novel evolutionary computation based automatic programming method based on artificial be...

With the increasing application of neural networks (NN) in safety-critical systems, the (formal) verification of NN is becoming more than essential. Although several NN verification techniques have been developed in recent years, these techniques are often limited to small networks and do not scale well to larger NN. The primarily reason for this l...

Neural networks (NNs) have witnessed widespread deployment across various domains, including some safety-critical applications. In this regard, the demand for verifying means of such artificial intelligence techniques is more and more pressing. Nowadays, the development of evaluation approaches for NNs is a hot topic that is attracting considerable...

Neural networks as a machine learning technique are increasingly deployed in various domains. Despite their performances and their continuous improvement, the deployment of neural networks in safety-critical systems, in particular for autonomous mobility, remains restricted. This is mainly due to the lack of (formal) specifications and verification...

In recent years, neural networks (NNs) have gained much maturity and efficiency, and their applications have spread to various domains, including some modules of safety-critical systems. On the other hand, recent studies have demonstrated that NNs are vulnerable to adversarial attacks, thus a neural network model must be verified and certified befo...

Text to speech (TTS) is a crucial tool needed in many domains, mainly for visually impaired users. The availability of TTS open sources improves access to computers and gives more valuable applications. eSpeak provides support for several languages. It is a tool that provides rules and phoneme files for more than 50 languages, besides, eSpeak is a...