咨询与建议

限定检索结果

文献类型

  • 7 篇 会议
  • 2 篇 期刊文献

馆藏范围

  • 9 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 9 篇 工学
    • 6 篇 计算机科学与技术...
    • 3 篇 电气工程
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 信息与通信工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 软件工程

主题

  • 9 篇 probabilistic co...
  • 2 篇 markov chains
  • 2 篇 model checking
  • 2 篇 fairness conditi...
  • 2 篇 markov decision ...
  • 2 篇 probabilistic ev...
  • 2 篇 game theory
  • 1 篇 reinforcement le...
  • 1 篇 probabilistic mo...
  • 1 篇 networks of prob...
  • 1 篇 probabilistic fi...
  • 1 篇 path planning
  • 1 篇 discrete-time ma...
  • 1 篇 embedding theore...
  • 1 篇 relative decidab...
  • 1 篇 hierarchical com...
  • 1 篇 mobile robot
  • 1 篇 probabilistic ti...
  • 1 篇 safe control
  • 1 篇 spacecraft auton...

机构

  • 2 篇 univ london impe...
  • 1 篇 chinese acad sci...
  • 1 篇 highly reliable ...
  • 1 篇 east china norma...
  • 1 篇 univ freiburg in...
  • 1 篇 univ sannio dept...
  • 1 篇 univ leicester d...
  • 1 篇 indian inst tech...
  • 1 篇 teikyo univ fac ...
  • 1 篇 chulalongkorn un...
  • 1 篇 compagnia genera...
  • 1 篇 school of mechan...
  • 1 篇 casco signal ltd...

作者

  • 2 篇 wagner daniel
  • 2 篇 huth michael
  • 2 篇 piterman nir
  • 1 篇 nardone vittoria
  • 1 篇 sun junfeng
  • 1 篇 tipaldi massimo
  • 1 篇 liu jing
  • 1 篇 santone antonell...
  • 1 篇 zhang lipeng
  • 1 篇 chen xiang
  • 1 篇 kamide norihiro
  • 1 篇 yao gang
  • 1 篇 rao m. v. pandur...
  • 1 篇 fecher harald
  • 1 篇 thianpunyathanak...
  • 1 篇 glielmo luigi
  • 1 篇 vatanawood wiwat
  • 1 篇 sun haiying
  • 1 篇 yang chenchen
  • 1 篇 arora shiraj

语言

  • 9 篇 英文
检索条件"主题词=Probabilistic Computation Tree Logic"
9 条 记 录,以下是1-10 订阅
排序:
p-Automata: New foundations for discrete-time probabilistic verification
收藏 引用
PERFORMANCE EVALUATION 2012年 第7-8期69卷 356-378页
作者: Huth, Michael Piterman, Nir Wagner, Daniel Univ Leicester Dept Comp Sci Leicester LE1 7RH Leics England Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England
We introduce p-Automata, which are automata that accept languages of Markov chains, by adapting notions and techniques from alternating tree automata to the realm of Markov chains. The set of languages of p-automata i... 详细信息
来源: 评论
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
收藏 引用
PERFORMANCE EVALUATION 2010年 第9期67卷 858-872页
作者: Fecher, Harald Huth, Michael Piterman, Nir Wagner, Daniel Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England Univ Freiburg Inst Informat D-79110 Freiburg Germany
probabilistic model checking is a technique for verifying whether a model such as a Markov chain satisfies a probabilistic, behavioral property - e.g. "with probability at least 0.999, a device will be elected le... 详细信息
来源: 评论
A New Trust Chain Security Evaluation Model and Tool  1
收藏 引用
10th International ICST Conference on Security and Privacy in Communication Networks (SecureComm)
作者: Hu, Wei Ji, Dongyao Wang, Ting Yao, Gang Chinese Acad Sci Inst Informat Engn State Key Lab Informat Secur Beijing Peoples R China
We've build a model of trust chain, and developed TCSE, a tool for estimating the security properties of the trust chain. The highlight of TCSE is that it can generate a probabilistic finite state automaton and ve... 详细信息
来源: 评论
probabilistic Model Checking of Incomplete Models  7th
Probabilistic Model Checking of Incomplete Models
收藏 引用
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
作者: Arora, Shiraj Rao, M. V. Panduranga Indian Inst Technol Hyderabad Andhra Pradesh India
It is crucial for accurate model checking that the model be a complete and faithful representation of the system. Unfortunately, this is not always possible, mainly because of two reasons: (i) the model is still under... 详细信息
来源: 评论
Formal Verification of Vessel Scheduling Using probabilistic Timed Automata  1
收藏 引用
20th International Conference on Computing and Information Technology (IC2IT2)
作者: Thianpunyathanakul, Ratchanok Vatanawood, Wiwat Chulalongkorn Univ Fac Engn Dept Comp Engn Bangkok Thailand
The effective management of time delays in vessel scheduling within the vessel transportation industry poses a complex challenge, as potential delays can lead to shifts in planned routes and increased costs. This pape... 详细信息
来源: 评论
Safe Reinforcement Learning for CPSs via Formal Modeling and Verification
Safe Reinforcement Learning for CPSs via Formal Modeling and...
收藏 引用
International Joint Conference on Neural Networks (IJCNN)
作者: Yang, Chenchen Liu, Jing Sun, Haiying Sun, Junfeng Chen, Xiang Zhang, Lipeng East China Normal Univ Shanghai Key Lab Trustworthy Comp Shanghai Peoples R China CASCO Signal Ltd R&D Inst Shanghai Peoples R China
Reinforcement learning (RL) can be defined as the process of learning policies that maximize the expectation of the rewards. It has shown success in solving complex decision-making tasks. However, reinforcement learni... 详细信息
来源: 评论
Towards Hierarchical probabilistic CTL Model Checking: Theoretical Foundations  11
Towards Hierarchical Probabilistic CTL Model Checking: Theor...
收藏 引用
11th International Conference on Agents and Artificial Intelligence (ICAART)
作者: Kamide, Norihiro Yano, Yuki Teikyo Univ Fac Sci & Engn Dept Informat & Elect Engn Toyosatodai 1-1 Utsunomiya Tochigi 3208551 Japan
This study proposes a hierarchical probabilistic computation tree logic, HpCTL, which is an extension of the standard probabilistic computation tree logic pCTL, as a theoretical basis for hierarchical probabilistic CT... 详细信息
来源: 评论
probabilistic Model Checking applied to Autonomous Spacecraft Reconfiguration  3
Probabilistic Model Checking applied to Autonomous Spacecraf...
收藏 引用
3rd IEEE International Workshop on Metrology for Aerospace (MetroAeroSpace)
作者: Nardone, Vittoria Santone, Antonella Tipaldi, Massimo Glielmo, Luigi Univ Sannio Dept Engn Benevento Italy Compagnia Generale Spazio I-20151 Milan Italy
Formal verification techniques are necessary to demonstrate the completeness, the correctness, and the consistency in implementing spacecraft model-based autonomy requirements, where we have to explore the behavior of... 详细信息
来源: 评论
Mobile Robot Path Planning based on probabilistic Model Checking under Uncertainties
Mobile Robot Path Planning based on Probabilistic Model Chec...
收藏 引用
2015 3rd International Conference on Machinery,Materials and Information Technology Applications(ICMMITA 2015)
作者: Wei Lou Chunrui Xia School of Mechanical Engineering and Automation Beihang University Highly Reliable Embedded Systems Lab Capital Normal University
In this paper, a probabilistic model checking method for mobile robots path planning problem is proposed. Since surroundings always affect the behavior of mobile robots, four main environmental factors are analyzed as... 详细信息
来源: 评论