Login / Signup
Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus.
Pablo D. Robles-Granda
Elham Sahebkar Khorasani
Shahram Rahimi
Norman Carver
Published in:
Int. J. Intell. Inf. Database Syst. (2012)
Keyphrases
</>
high level
computational model
experimental data
reinforcement learning
prior knowledge
cost function
probabilistic model
conceptual model
statistical model
mathematical model
genetic algorithm
management system
theoretical framework
multi agent systems
cooperative
information sharing
data sets