s*********b
发帖数: 815 | 1 写的Alternating-time Temporal Logic真是通俗易懂啊。以偶薄弱的基础，涣散的注意
力，居然愉快地读完了。注意了一下，其实Rajeev也就做到了两点：随时随地解释定义背
后的直观意义，以及从未不加解释地使用符号。什么时候做Formal Methods的人都这么写
文章就好了。
－－－－－－－－
阿Sir, 我做FM已经郁闷好久了 |
w*******g
发帖数: 9932 | 2 you read the conference or journal version.
could you talk about the use of ATL?
【在 s*********b 的大作中提到】
: 写的Alternating-time Temporal Logic真是通俗易懂啊。以偶薄弱的基础，涣散的注意
: 力，居然愉快地读完了。注意了一下，其实Rajeev也就做到了两点：随时随地解释定义背
: 后的直观意义，以及从未不加解释地使用符号。什么时候做Formal Methods的人都这么写
: 文章就好了。
: －－－－－－－－
: 阿Sir, 我做FM已经郁闷好久了
|
s*********b
发帖数: 815 | 3 Journal
version。例子多，直观解释多的说。至于用做什么的，开论文吧，前面的abstract和int
roduction都说了的。还有就是mocha这个model checker用的ATL，可以到mocha的网站上
看他们的论文，不长。
注意
义背
么写
【在 w*******g 的大作中提到】
: you read the conference or journal version.
: could you talk about the use of ATL?
|
w*******g
发帖数: 9932 | 4 I kind of lost interest in read the loooooong version.
I don't know why they need to develop such a notion of logic.
for real-time computation?
most of the problems' complexity upper bound is pspace or exponential time
so what is the point anyway?
【在 s*********b 的大作中提到】
: Journal
: version。例子多，直观解释多的说。至于用做什么的，开论文吧，前面的abstract和int
: roduction都说了的。还有就是mocha这个model checker用的ATL，可以到mocha的网站上
: 看他们的论文，不长。
:
: 注意
: 义背
: 么写
|
