首页> 外文OA文献 >Superpositionbased analysis of first-order probabilistic timed automata

【2h】

Superpositionbased analysis of first-order probabilistic timed automata

机译：基于叠加的一阶概率时间自动机分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Arnaud Fietzke; Holger Hermanns; Christoph Weidenbach; Bernd Becker; Werner Damm; Bernd Finkbeiner; Andreas Podelski;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Performance analysis of probabilistic timed automata using digital clocks [J] . Marta Kwiatkowska, Gethin Norman, David Parker, Formal Methods in System Design . 2006,第1期

机译：使用数字时钟的概率定时自动机性能分析
2. Consistency in Parametric Interval Probabilistic Timed Automata [J] . Étienne André, Benoît Delahaye, Paulin Fournier Journal of Logic and Algebraic Programming . 2020,第Jana期

机译：参数间隔概率定时自动机的一致性
3. Parameter synthesis for probabilistic timed automata using stochastic game abstractions [J] . Jovanovic Aleksandra, Kwiatkowska Marta Theoretical computer science . 2018,第期

机译：使用随机游戏抽象的概率定时自动机参数综合
4. Superposition-Based Analysis of First-Order Probabilistic Timed Automata [C] . Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach Logic for programming artificial intelligence, and reasoning . 2010

机译：基于叠加的一阶概率定时自动机分析
5. Probabilistic engineering analysis and design under time-dependent uncertainty [D] . Hu, Zhen 2014

机译：时变不确定性下的概率工程分析与设计
6. Signal Deconvolution and Noise Factor Analysis Based on a Combination of Time–Frequency Analysis and Probabilistic Sparse Matrix Factorization [O] . Shunji Yamada, Atsushi Kurotani, Eisuke Chikayama, 2020

机译：时频分析与概率稀疏矩阵分解相结合的信号去卷积与噪声因子分析
7. Superposition-Based Analysis of First-Order Probabilistic Timed Automata [O] . Fietzke, A., Hermanns, H., Weidenbach, C. 2010

机译：基于叠加的一阶概率时间自动机分析

Superpositionbased analysis of first-order probabilistic timed automata

著录项

引文网络

相似文献

相关主题

期刊订阅