Login / Signup
A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems.
Yuyue Du
Changjun Jiang
MengChu Zhou
Published in:
IEEE Trans. Syst. Man Cybern. Part A (2009)
Keyphrases
</>
real time
cooperative
probabilistic model
statistical model
cost function
formal model
computational model
theoretical analysis
management system
probability distribution
data sets
mobile robot
prior knowledge
input data
multi agent
case study
petri net
experimental data
computational models
database