real-time; metric temporal logic; discretization; dense time; verification techniques; sampling;
机译:离散时间占用过程的正常近似
机译:具有连续时间对应物的离散时间排队系统的近似值的说明
机译:使用凸近似的离散时间区域极点布置:理论和在升压转换器中的应用
机译:通过离散时间近似自动验证致密时间MTL规范
机译:在科学软件中正式验证数值逼近的准确性。
机译:具有泄漏分布和概率测量延迟的离散时间随机遗传管理网络的状态变量逼近:一个鲁棒的稳定性问题
机译:通过离散时间近似自动验证密集时间mTL规范