logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
Q

QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025

IF
论文数26
被引数
期刊论文 26
发表时间
delete
Tightening the Frontier of Decidability for Decisiveness紧缩可判定性边界的决定性
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFougea, Gaspard; Haddad, Serge; Ye, Lina; Jain, Shreyas; Finkel, Alain
delete分享
delete收藏
Time-Sensitive Importance Splitting时间敏感重要性分裂
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDengler, Gabriel; Budde, Carlos E.; Carnevali, Laura; Hartmanns, Arnd
delete分享
delete收藏
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes《几率几何？提升马尔可夫决策过程统计模型检验》
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMeggendorfer, Tobias; Weininger, Maximilian; Wienhoeft, Patrick
delete分享
delete收藏
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates基于契约的随机代理方法的不确定系统形式化控制
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSchon, Oliver; Haesaert, Sofie; Soudjani, Sadegh
delete分享
delete收藏
Numerical Errors in Quantitative System Analysis With Decision Diagrams基于决策图的定量系统分析中的数值误差
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBrand, Sebastiaan; Quist, Arend-Jan; van Dijk, Richard M. K.; Laarman, Alfons
delete分享
delete收藏
A Product-Form Model for Systems with Aging Objects and Similarities适用于老化对象和相似性的产品形式模型
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMarin, Andrea; Olliaro, Diletta; Rossi, Sabina; Menasche, Daniel
delete分享
delete收藏
Minimal Per-Flow Backlog Bounds at an Aggregate FIFO Server Under Piecewise-Linear Arrival Curves在分段线性到达曲线下，聚合FIFO服务器中的最小每流排队长度界限
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWildberger, Lukas; Hamscher, Anja; Schmitt, Jens B.
delete分享
delete收藏
Using Communication to Bound Clock Drift in Local-Timed Negotiations利用通信界定本地时间协商中的时钟漂移
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGarg, Abhinav; Mukund, Madhavan; Roy, Adwitee; Srivathsan, B.; Viswanathan, Gautham
delete分享
delete收藏
Noninterference Analysis of Deterministically Timed Reversible Systems确定性时序可逆系统的无干扰分析
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteEsposito, Andrea; Aldini, Alessandro; Bernardo, Marco
delete分享
delete收藏
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata建模不确定性：从Simulink到随机混合自动机
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBlohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula
delete分享
delete收藏
Learning Mealy Machines with Sparse Observation Tables学习具有稀疏观测表的米利机
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSchwabe, Wolffhardt; Kogel, Paul; Glesner, Sabine
delete分享
delete收藏
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality超越均值的统计模型检测：分位数、CVaR和DKW不等式
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBudde, Carlos E.; Hartmanns, Arnd; Meggendorfer, Tobias; Weininger, Maximilian; Wienhoeft, Patrick
delete分享
delete收藏
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions符号约简用于全局李雅普诺夫函数的形式合成
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLiu, Jun; Fitzsimmons, Maxwell
delete分享
delete收藏
Active Learning of Mealy Machines with Timers带定时器的米利机主动学习
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBruyere, Veronique; Garhewal, Bharat; Perez, Guillermo A.; Staquet, Gaetan; Vaandrager, Frits W.
delete分享
delete收藏
Positive Almost-Sure Termination of Polynomial Random Walks多项式随机游走的正向几乎必然终止
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWinkler, Lorenz; Kovacs, Laura
delete分享
delete收藏
Fuzzy Fault Trees: the Fast and the Formal模糊故障树：快速与形式化
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDang, Thi Kim Nhung; Peterseim, Benedikt; Lopuhaa-Zwakenberg, Milan; Stoelinga, Marielle
delete分享
delete收藏
A Hyperlogic for Strategies in Stochastic Games随机博弈中的策略超逻辑
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGerlach, Lina; Loeding, Christof; Abraham, Erika
delete分享
delete收藏
Signal Sampling and Optimisation Under Symbolic Timed Automata Constraints在符号定时自动机约束下的信号采样与优化
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBarbot, Benoit; Basset, Nicolas; Dang, Thao; Donze, Alexandre; Esposito, Marco; Nickovic, Dejan
delete分享
delete收藏
Statistical Bayesian Inference for Stochastic Process Discovery统计贝叶斯推断在随机过程发现中的应用
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCry, Pierre; Ballarini, Paolo; Horvath, Andras; Le Gall, Pascale
delete分享
delete收藏
On Choice of Loss Functions for Neural Control Barrier Certificates神经控制屏障证书的损失函数选择
deleteQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteNadali, Alireza; Trivedi, Ashutosh; Zamani, Majid
delete分享
delete收藏