Author:
Chen Taolue,Primiero Giuseppe,Raimondi Franco,Rungta Neha
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference28 articles.
1. Agogino, A. and G. Brat, Statistical analysis of flight procedures, Tech. Rep., NASA Ames Research Center, Moffett Field, Mountain View, CA, 2011.
2. Alechina, N., M. Dastani, and B. Logan, Reasoning about normative update, in Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, AAAI Press, New York, 2013, pp. 20–26.
3. Bacchus F., Grove A.J., Halpern J.Y., Koller D.: From statistical knowledge bases to degrees of belief. Artificial Intelligence 87, 75–143 (1996)
4. Chaum D.: The dining cryptographers problem: Unconditional sender and recipient untraceability. Journal of Cryptology 1, 65–75 (1988)
5. Chen, T., V. Forejt, M. Kwiatkowska, D. Parker, and A. Simaitis, PRISM-games: a model checker for stochastic multi-player games, in N. Piterman, and S. Smolka, (eds.), Proceedings of 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’13), vol. 7795 of LNCS, Springer, Heidelberg, 2013, pp. 185–191.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献