{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T03:16:17Z","timestamp":1768274177740,"version":"3.49.0"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030304454","type":"print"},{"value":"9783030304461","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30446-1_16","type":"book-chapter","created":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T23:03:18Z","timestamp":1567983798000},"page":"293-311","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Towards Logical Specification of Statistical Machine Learning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2151-9560","authenticated-orcid":false,"given":"Yusuke","family":"Kawamoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181\u2013185 (1985). https:\/\/doi.org\/10.1016\/0020-0190(85)90056-0","journal-title":"Inf. Process. Lett."},{"key":"16_CR2","unstructured":"Athalye, A., Engstrom, L., Ilyas, A., Kwok, K.: Synthesizing robust adversarial examples. In: Proceedings of the ICML, pp. 284\u2013293 (2018)"},{"key":"16_CR3","doi-asserted-by":"publisher","unstructured":"Balliu, M., Dam, M., Guernic, G.L.: Epistemic temporal logic for information flow security. In: Proceedings of PLAS, p. 6 (2011). https:\/\/doi.org\/10.1145\/2166956.2166962","DOI":"10.1145\/2166956.2166962"},{"key":"16_CR4","series-title":"European Studies in Philosophy of Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-319-55486-0_3","volume-title":"Making it Formally Explicit","author":"G Bana","year":"2017","unstructured":"Bana, G.: Models of objective chance: an analysis through examples. In: Hofer-Szab\u00f3, G., Wro\u0144ski, L. (eds.) Making it Formally Explicit. ESPS, vol. 6, pp. 43\u201360. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-55486-0_3"},{"issue":"1","key":"16_CR5","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.M.: A logic of authentication. ACM Trans. Comput. Syst. 8(1), 18\u201336 (1990). https:\/\/doi.org\/10.1145\/77648.77649","journal-title":"ACM Trans. Comput. Syst."},{"key":"16_CR6","doi-asserted-by":"publisher","unstructured":"Carlini, N., Wagner, D.A.: Towards evaluating the robustness of neural networks. In: Proceedings Security and Privacy, pp. 39\u201357 (2017). https:\/\/doi.org\/10.1109\/SP.2017.49","DOI":"10.1109\/SP.2017.49"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-02138-1_12","volume-title":"Formal Techniques for Distributed Systems","author":"Rohit Chadha","year":"2009","unstructured":"Chadha, R., Delaune, S., Kremer, S.: Epistemic logic for the applied pi calculus. In: Proceedings of FMOODS\/FORTE, pp. 182\u2013197 (2009). https:\/\/doi.org\/10.1007\/978-3-642-02138-1_12"},{"key":"16_CR8","unstructured":"Chakraborty, A., Alam, M., Dey, V., Chattopadhyay, A., Mukhopadhyay, D.: Adversarial attacks and defences: a survey. CoRR abs\/1810.00069 (2018). http:\/\/arxiv.org\/abs\/1810.00069"},{"key":"16_CR9","doi-asserted-by":"publisher","unstructured":"Clarkson, M.R., Schneider, F.B.: Hyperproperties. In: Proceedings of CSF, pp. 51\u201365. IEEE (2008). https:\/\/doi.org\/10.1109\/CSF.2008.7","DOI":"10.1109\/CSF.2008.7"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Dechesne, F., Mousavi, M., Orzan, S.: Operational and epistemic approaches to protocol analysis: bridging the gap. In: Proceedings of LPAR, pp. 226\u2013241 (2007)","DOI":"10.1007\/978-3-540-75560-9_18"},{"key":"16_CR11","unstructured":"Dreossi, T., Ghosh, S., Sangiovanni-Vincentelli, A.L., Seshia, S.A.: A formalization of robustness for deep neural networks. In: Proceedings of VNN (2019)"},{"key":"16_CR12","first-page":"1","volume-title":"Automata, Languages and Programming","author":"Cynthia Dwork","year":"2006","unstructured":"Dwork, C.: Differential privacy. In: Proceedings of ICALP, pp. 1\u201312 (2006)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Dwork, C., Hardt, M., Pitassi, T., Reingold, O., Zemel, R.S.: Fairness through awareness. In: Proceedings of ITCS, pp. 214\u2013226. ACM (2012)","DOI":"10.1145\/2090236.2090255"},{"key":"16_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"key":"16_CR15","unstructured":"French, T., Gozzard, A., Reynolds, M.: Dynamic aleatoric reasoning in games of bluffing and chance. In: Proceedings of AAMAS, pp. 1964\u20131966 (2019)"},{"key":"16_CR16","unstructured":"Gajane, P.: On formalizing fairness in prediction with machine learning. CoRR abs\/1710.03184 (2017). http:\/\/arxiv.org\/abs\/1710.03184"},{"key":"16_CR17","doi-asserted-by":"publisher","unstructured":"Garcia, F.D., Hasuo, I., Pieters, W., van Rossum, P.: Provable anonymity. In: Proceedings of FMSE, pp. 63\u201372 (2005). https:\/\/doi.org\/10.1145\/1103576.1103585","DOI":"10.1145\/1103576.1103585"},{"key":"16_CR18","unstructured":"Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples. In: Proceedings of ICLR (2015)"},{"key":"16_CR19","volume-title":"Reasoning About Uncertainty","author":"JY Halpern","year":"2003","unstructured":"Halpern, J.Y.: Reasoning About Uncertainty. The MIT press, Cambridge (2003)"},{"issue":"3","key":"16_CR20","doi-asserted-by":"publisher","first-page":"483","DOI":"10.3233\/JCS-2005-13305","volume":"13","author":"JY Halpern","year":"2005","unstructured":"Halpern, J.Y., O\u2019Neill, K.R.: Anonymity and information hiding in multiagent systems. J. Comput. Secur. 13(3), 483\u2013512 (2005)","journal-title":"J. Comput. Secur."},{"key":"16_CR21","unstructured":"Hardt, M., Price, E., Srebro, N.: Equality of opportunity in supervised learning. In: proceedings of NIPS, pp. 3315\u20133323 (2016)"},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-63387-9_1","volume-title":"Computer Aided Verification","author":"Xiaowei Huang","year":"2017","unstructured":"Huang, X., Kwiatkowska, M., Wang, S., Wu, M.: Safety verification of deep neural networks. In: Proceedings of CAV, pp. 3\u201329 (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_1"},{"issue":"1","key":"16_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.3233\/JCS-2004-12102","volume":"12","author":"D Hughes","year":"2004","unstructured":"Hughes, D., Shmatikov, V.: Information hiding, anonymity and privacy: a modular approach. J. Comput. Secur. 12(1), 3\u201336 (2004)","journal-title":"J. Comput. Secur."},{"key":"16_CR24","unstructured":"Jonker, H.L., Pieters, W.: Receipt-freeness as a special case of anonymity in epistemic logic. In: Proceedings of Workshop On Trustworthy Elections (WOTE 2006), June 2006"},{"key":"16_CR25","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-63387-9_5","volume-title":"Computer Aided Verification","author":"Guy Katz","year":"2017","unstructured":"Katz, G., Barrett, C.W., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: an efficient SMT solver for verifying deep neural networks. In: Proceedings of CAV, pp. 97\u2013117 (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_5"},{"key":"16_CR26","unstructured":"Kawamoto, Y.: Statistical epsitemic logic. CoRR abs\/1412.4451 (2019). https:\/\/arxiv.org\/pdf\/1907.05995.pdf"},{"issue":"4","key":"16_CR27","doi-asserted-by":"publisher","first-page":"559","DOI":"10.11540\/jsiamt.17.4_559","volume":"17","author":"Y Kawamoto","year":"2007","unstructured":"Kawamoto, Y., Mano, K., Sakurada, H., Hagiya, M.: Partial knowledge of functions and verification of anonymity. Trans. Japan Soc. Ind. Appl. Math. 17(4), 559\u2013576 (2007). https:\/\/doi.org\/10.11540\/jsiamt.17.4_559","journal-title":"Trans. Japan Soc. Ind. Appl. Math."},{"issue":"5\u20136","key":"16_CR28","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"SA Kripke","year":"1963","unstructured":"Kripke, S.A.: Semantical analysis of modal logic i normal modal propositional calculi. Math. Logic Q. 9(5\u20136), 67\u201396 (1963)","journal-title":"Math. Logic Q."},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Lewis, D.: A subjectivist\u2019s guide to objective chance. In: Studies in Inductive Logic and Probability, Vol. II, pp. 263\u2013293. University of California Press, Berkeley (1980)","DOI":"10.1525\/9780520318328-009"},{"key":"16_CR30","unstructured":"Madry, A., Makelov, A., Schmidt, L., Tsipras, D., Vladu, A.: Towards deep learning models resistant to adversarial attacks. In: Proceedings of ICLR (2018)"},{"key":"16_CR31","doi-asserted-by":"publisher","unstructured":"Moosavi-Dezfooli, S., Fawzi, A., Frossard, P.: Deepfool: A simple and accurate method to fool deep neural networks. In: Proceedings of CVPR, pp. 2574\u20132582 (2016). https:\/\/doi.org\/10.1109\/CVPR.2016.282","DOI":"10.1109\/CVPR.2016.282"},{"key":"16_CR32","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/978-3-319-10431-7_30","volume-title":"Software Engineering and Formal Methods","author":"Ra\u00fal Pardo","year":"2014","unstructured":"Pardo, R., Schneider, G.: A formal privacy policy framework for social networks. In: Proceedings of SEFM, pp. 378\u2013392 (2014). https:\/\/doi.org\/10.1007\/978-3-319-10431-7_30"},{"key":"16_CR33","doi-asserted-by":"publisher","unstructured":"Pei, K., Cao, Y., Yang, J., Jana, S.: Deepxplore: automated whitebox testing of deep learning systems. In: Proceedings of SOSP, pp. 1\u201318 (2017). https:\/\/doi.org\/10.1145\/3132747.3132785","DOI":"10.1145\/3132747.3132785"},{"key":"16_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-030-01090-4_2","volume-title":"Automated Technology for Verification and Analysis","author":"SA Seshia","year":"2018","unstructured":"Seshia, S.A., et al.: Formal specification for deep neural networks. In: Lahiri, S.K., Wang, C. (eds.) ATVA 2018. LNCS, vol. 11138, pp. 20\u201334. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01090-4_2"},{"key":"16_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1007\/3-540-48119-2_45","volume-title":"FM\u201999 \u2014 Formal Methods","author":"PF Syverson","year":"1999","unstructured":"Syverson, P.F., Stubblebine, S.G.: Group principals and the formalization of anonymity. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 814\u2013833. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48119-2_45"},{"key":"16_CR36","unstructured":"Szegedy, C., Zaremba, W., Sutskever, I., Bruna, J., Erhan, D., Goodfellow, I.J., Fergus, R.: Intriguing properties of neural networks. In: Proceedings of ICLR (2014)"},{"key":"16_CR37","doi-asserted-by":"publisher","unstructured":"Tian, Y., Pei, K., Jana, S., Ray, B.: Deeptest: automated testing of deep-neural-network-driven autonomous cars. In: Proceedings of ICSE, pp. 303\u2013314 (2018). https:\/\/doi.org\/10.1145\/3180155.3180220","DOI":"10.1145\/3180155.3180220"},{"key":"16_CR38","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1163\/9789401204651_006","volume":"74","author":"T Williamson","year":"2007","unstructured":"Williamson, T.: Philosophical knowledge and knowledge of counterfactuals. Grazer Philosophische Studien 74, 89 (2007)","journal-title":"Grazer Philosophische Studien"},{"key":"16_CR39","volume-title":"An Essay in Modal Logic","author":"GH Wright von","year":"1951","unstructured":"von Wright, G.H.: An Essay in Modal Logic. North-Holland Pub. Co., Amsterdam (1951)"},{"key":"16_CR40","doi-asserted-by":"publisher","unstructured":"Zafar, M.B., Valera, I., Gomez-Rodriguez, M., Gummadi, K.P.: Fairness beyond disparate treatment and disparate impact: Learning classification without disparate mistreatment. In: Proceedings of WWW, pp. 1171\u20131180 (2017). https:\/\/doi.org\/10.1145\/3038912.3052660","DOI":"10.1145\/3038912.3052660"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30446-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,23]],"date-time":"2024-07-23T03:11:09Z","timestamp":1721704269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30446-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030304454","9783030304461"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30446-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sefm2019.inria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"89","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}