Author:
Hansen Mikkel,Larsen Kim Guldstrand,Mardare Radu,Pedersen Mathias Ruggaard,Xue Bingtian
Publisher
Springer International Publishing
Reference17 articles.
1. Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Inf. Comput. 104(1), 2–34 (1993)
2. Studies in Logic and Practical Reasoning;P Blackburn,2006
3. Lecture Notes in Computer Science;F Breugel,1994
4. Chakraborty, S., Katoen, J.P.: On the satisfiability of some simple probabilistic logics. In: LICS (2016 to appear)
5. Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probability. J. ACM 41, 340 (1994)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献