搜索资源列表
LTL
- 一个实现连连看游戏功能的程序。8*8的图片大小，共16种图片。是可以在res中改变源图片。-Game features a Lianliankan implementation procedures. 8* 8 picture size, a total of 16 kinds of picture. Res can be changed at the source picture.
lbt-1.2.2.tar
- 在模型检测中将LTL公式转化成等价的自动机的c++实现-This piece of software provides a C++ implementation for an algorithm that converts a linear temporal logic formula to a generalised Büchi automaton
LTLrobust
- 用形式化语言LTL(linear temporal logic)离线测试系统。程序SystemMonitor采用系统运行在线测试，本程序采用离线测试。输入为系统运行数据和LTL表达式，输出为该系统的鲁棒特征值。本程序采用了动态程序设计方法。对从事系统验证工作的开发人员和研究人员非常有帮助。-Its very useful for researchers and programmers who are working on system
LTL
- LTL Transformation lib
P-MAS-TG-master
- 使用线性时序逻辑语言描述任务的机器人任务规划算法-Use LTL language robot task planning algorithm
main_program
- a program to justify a formula in LTL logic