-
We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑,它是区间时序逻辑的一种实时扩充。
youdao
-
We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑,它是区间时序逻辑的一种实时扩充。
youdao