首页> 外文OA文献 >Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions

【2h】

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions

机译：基于随机博弈抽象的概率时间自动机参数综合

代理获取

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

页面导航

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

著录项

作者
Ra Jovanovic ́; Marta Kwiatkowska;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Parameter synthesis for probabilistic timed automata using stochastic game abstractions [J] . Jovanovic Aleksandra, Kwiatkowska Marta Theoretical computer science . 2018,第期

机译：使用随机游戏抽象的概率定时自动机参数综合
2. Cost vs. time in stochastic games and Markov automata [J] . Hatefi Hassan, Wimmer Ralf, Braitling Bettina, Formal Aspects of Computing . 2017,第4期

机译：随机游戏和Markov自动机中的成本与时间
3. Cost vs. time in stochastic games and Markov automata [J] . Hatefi Hassan, Wimmer Ralf, Braitling Bettina, Theoretical and Experimental Plant Physiology . 2017,第4期

机译：随机游戏和马尔可夫自动机的成本与时间
4. Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions [C] . Aleksandra Jovanovic, Marta Kwiatkowska International workshop on reachability problems . 2014

机译：基于随机博弈抽象的概率定时自动机参数合成
5. Omega-automata, games, and synthesis. [D] . Krishnan, Sriram Chitoor. 1998

机译：欧米茄自动机，游戏和合成。
6. Application of Stochastic Automata Networks for Creation of Continuous Time Markov Chain Models of Voltage Gating of Gap Junction Channels [O] . Mindaugas Snipas, Henrikas Pranevicius, Mindaugas Pranevicius, -1

机译：随机自动机网络在间隙连接通道电压门控连续时间马尔可夫链模型创建中的应用
7. Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions [O] . Jovanović, A, Kwiatkowska, M 2017

机译：基于随机博弈抽象的概率定时自动机参数合成
8. Automata Games, Stochastic Automata and Formal Languages [R] . Li, T. J., Fu, K. S. 1969

机译：自动机游戏，随机自动机和形式语言

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions

著录项

引文网络

相似文献

相关主题

期刊订阅