Vérification formelle et éthique dans les SMA.

Grégory Bonnet Bruno Mermet Gaële Simon

Published in: JFSMA (2016)

Keyphrases

small size
real time
power supply
artificial neural networks
decision making
genetic algorithm ga
fuzzy logic
fuzzy rules