Author:
Chechik Marsha,Easterbrook Steve,Petrovykh Victor
Publisher
Springer Berlin Heidelberg
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Self-Learning Modeling in Possibilistic Model Checking;IEEE Transactions on Emerging Topics in Computational Intelligence;2024-02
2. Optimal Strategy Model Checking in Possibilistic Decision Processes;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2023-10
3. Model Checking Branching Time Properties for Incomplete Markov Chains;Model Checking Software;2019
4. Statistical Model Checking of Incomplete Stochastic Systems;Leveraging Applications of Formal Methods, Verification and Validation. Verification;2018
5. The Comparison of Expressiveness Between LTL and IGPoLTL;Quantitative Logic and Soft Computing 2016;2016-09-22