• 不限
  • 期刊论文
  • 硕博论文
  • 会议论文
  • 报 纸
  • 英文论文
搜索筛选:
搜索耗时0.0799秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
类      型:
全部 期刊 学位 会议 报纸 英文
发布年度:
全部 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 更早
排序方式:
相关性 最新发表 最早发表
A framework for multi-robot motion planning from temporal logic specifications
[期刊论文] 作者：T.John KOO,Michael M.QUOTTRUP,Charles A.CLIFTON,Roozbeh IZADI-ZAMANABADI,Thomas BAK,, 来源：Science China(Information Sciences) 年份：2012
We propose a framework for the coordination of a network of robots with respect to formal requirement specifications expressed in temporal logics.A regular tess...
相关搜索：