School of Electrical Engineering KTH Royal Institute of Technology Department of Automatic Control Stockholm 100 44 Sweden;
Automata; Tools; Hybrid power systems; Terminology; Numerical stability; Semantics; Task analysis;
机译:基于随机采样的无人机航迹优化,以满足线性时间逻辑规范
机译:自动机理论符合障碍证书:非线性系统的时间逻辑验证
机译:通过混合系统复制工具的线性时间逻辑规范的满意度
机译:一种满足线性时间逻辑规范的混合屏障证书方法
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:线性时序逻辑的后门
机译:一种满足线性时间逻辑规范的混合屏障证书方法