0
  1. 有什么方法可以对 CTL 使用同情心吗？
  2. 是否可以选择在同情表达上使用 next(state) 编写表达式？谢谢
4

0 回答 0