[学位论文]
  • Khan, Taskia Ahammad.
  • Bradley University.
ISBN 9781369051711
作者 Khan, Taskia Ahammad.   授予学位单位 Bradley University.  
学位 M.S.E.E.
学科 Electrical engineering.   国籍 US
页码/总页数 110 p. / 110 出版年 2016
中图分类号 TN
关键词 Formal method   Multiagent control   Temporal logic