Login / Signup

Improving the effectiveness of SAT approach in application to analysis of several discrete models of collective behavior.

Stepan KochemazovOleg ZaikinAlexander A. Semenov
Published in: MIPRO (2017)
Keyphrases
  • collective behavior
  • probabilistic model
  • real time
  • neural network
  • machine learning
  • control system
  • vision system
  • decision problems