temporal logic; real-time system; programming language; modeling; verification;
机译:具有时间逻辑约束的随机环境中多主体持久性监视的近似动态规划方法
机译:基于答案集编程和时间间隔逻辑约束的XML授权形式语言
机译:时间并发约束编程:符号,逻辑和应用
机译:时序并发约束程序推理的时间逻辑
机译:过程理论(模型,证明系统,编程语言,程序综合,时间逻辑)。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:逻辑程序设计与约束逻辑程序设计中的多项式时间学习