Temporal Logic Verification of Stochastic Systems Using Barrier Certificates

机译：自动机理论符合障碍证书：非线性系统的时间逻辑验证

机译：通过屏障证书的数据驱动安全验证随机系统

机译：使用障碍证书的互连混合系统的安全验证

机译：使用屏障证书对随机系统进行时态逻辑验证

机译：用于验证和控制网络系统的时空逻辑

机译：从概率密度函数的时间序列确定随机扰动的自治系统

机译：自动机理论符合障碍证书：非线性系统的时态逻辑验证

机译：不使用时态逻辑验证时态属性

机译：证书表，使用该页的证书打印设备，证书颁发方法，设备和证书验证方法，证书颁发系统和证书验证系统

机译：自认证通信设备，自认证验证通信设备，设备认证系统，该设备认证系统的设备认证方法，自认证验证通信程序和自认证通信程序

机译：临时逻辑公式创建支持系统，临时逻辑公式创建支持方法和临时逻辑公式创建支持程序