Publisher
Springer International Publishing
Reference19 articles.
1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)
3. Bernardini, S., Fagnani, F., Franco, S.: An optimization approach to robust goal obfuscation. In: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 119–129. International Joint Conferences on Artificial Intelligence Organization, Rhodes (2020)
4. Chatterjee, K., Doyen, L.: Partial-observation stochastic games: how to win when belief fails. CoRR (2011)
5. Lecture Notes in Computer Science;K Chatterjee,2010