Dynamic programming; Algorithms; Temporal logic; Run time(Computers);
机译:线性时间逻辑公式的时间范式
机译:基于转换的Buchi自动机的线性时间逻辑公式快速转换
机译:竞赛逻辑:动态编程算法的硬件加速
机译:可综合嵌入式可编程逻辑内核的体系结构和算法
机译:可分解程序设计中的算法问题,用于解决系统动力学中的非线性程序设计问题。
机译:鲁棒的学习算法使用线性动力学模型来捕获夜光藻的海洋动力学和运移
机译:可合成嵌入式可编程逻辑核的体系结构和算法