文件名称:P-MAS-TG-master
- 所属分类：
- 人工智能/神经网络/遗传算法
- 资源属性：
- [PDF]
- 上传时间：
- 2016-07-18
- 文件大小：
- 1.5mb
- 下载次数：
- 0次
- 提 供 者：
- xun***
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
使用线性时序逻辑语言描述任务的机器人任务规划算法-Use LTL language robot task planning algorithm
(系统自动生成,下载前可以参看下载内容)
下载文件列表
P-MAS-TG-master
...............\.gitignore
...............\041410341.pdf
...............\8812-B.gif
...............\boolean_formulas
...............\................\lexer.py
...............\................\lexer.pyc
...............\................\parser.py
...............\................\parser.pyc
...............\................\__init__.py
...............\................\__init__.pyc
...............\buchi.py
...............\buchi.pyc
...............\discrete_plan.py
...............\discrete_plan.pyc
...............\Example.py
...............\FGa.dot
...............\LICENSE
...............\ltl2ba
...............\ltl2ba.py
...............\ltl2ba.pyc
...............\ltl2ba_32
...............\ltl2ba_64
...............\ltl2dstar
...............\planner.py
...............\planner.pyc
...............\product.py
...............\product.pyc
...............\promela.py
...............\promela.pyc
...............\README.md
...............\ts.py
...............\ts.pyc
...............\_tmp2_
...............\__init__.py