Login / Signup
Synthesis method of strategy for multi-robot systems fromlocal automatons under probabilistic model checking.
Yuchong Huang
Ning Xu
Nan Wang
Jie Li
Published in:
J. Intell. Fuzzy Syst. (2022)
Keyphrases
</>
model checking
verification method
temporal logic
mobile robot
bayesian networks
cooperative
finite state
mathematical model
formal specification
asynchronous circuits
bounded model checking
reachability analysis