Funding: This work was partly funded by DFG Grant 389792660 as part of TRR 248 (Foundations of Perspicuous Software Systems), the Cluster of Excellence EXC 2050/1 (CeTI, project ID 390696704, as part of Germany’s Excellence Strategy), and  the DFG projects BA-1679/11-1 and BA-1679/12-1, and the ANR project Ticktac (ANR-18-CE40-0015).

[1]
authorChristel Baier,
authorNorine Coenen,
authorBernd Finkbeiner,
authorFlorian Funke,
authorSimon Jantsch &
authorJulian Siber
(year2021): titleCausality-based game solving.
In: booktitleInternational Conference on
Computer Aided Verification, organizationSpringer, pp.
pages894–917, 10.1007/978-3-030-81685-8_42.

[2]
authorChristel Baier,
authorClemens Dubslaff,
authorFlorian Funke,
authorSimon Jantsch,
authorRupak Majumdar,
authorJakob Piribauer &
authorRobin Ziemek
(year2021): titleFrom Verification to
Causality-Based Explications (Invited Talk).
In editorNikhil Bansal,
editorEmanuela Merelli &
editorJames Worrell, editors: booktitle48th International Colloquium on Automata, Languages, and
Programming, (ICALP), seriesLIPIcs
volume198, publisherSchloss Dagstuhl - Leibniz-Zentrum
für Informatik, pp. pages1:1–1:20.

[3]
authorChristel Baier,
authorClemens Dubslaff,
authorFlorian Funke,
authorSimon Jantsch,
authorJakob Piribauer &
authorRobin Ziemek
(year2022): titleOperational Causality –
Necessarily Sufficient and Sufficiently Necessary.
In editorNils Jansen,
editorMariëlle Stoelinga &
editorPetra van den Bos, editors:
booktitleA Journey from Process Algebra via Timed
Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the
Occasion of His 60th Birthday, publisherSpringer Nature
Switzerland, addressCham, pp. pages27–45,

[4]
authorChristel Baier,
authorFlorian Funke &
authorRupak Majumdar
(year2021): titleA Game-Theoretic Account of
Responsibility Allocation.
In editorZhi-Hua Zhou, editor:
booktitleProceedings of the Thirtieth International
Joint Conference on Artificial Intelligence, IJCAI-21,
publisherInternational Joint Conferences on Artificial
Intelligence Organization, pp. pages1773–1779,
noteMain Track.

[5]
authorChristel Baier &
authorJoost-Pieter Katoen
(year2008): titlePrinciples of Model Checking.
publisherMIT Press.

[6]
authorThomas Ball, authorMayur
Naik & authorSriram K. Rajamani (year2003): titleFrom
Symptom to Cause: Localizing Errors in Counterexample Traces.
journalSIGPLAN Not.
volume38(number1), pp. pages97–105,

[7]
authorIlan Beer, authorShoham
Ben-David, authorHana Chockler, authorAvigail Orni
& authorRichard J. Trefler
(year2012): titleExplaining counterexamples
using causality.
journalFormal Methods in System Design
volume40(number1), pp. pages20–40,

[8]
authorHana Chockler
(year2016): titleCausality and Responsibility
for Formal Verification and Beyond.
In editorGregor Gößler
& editorOleg Sokolsky, editors:
booktitleProceedings First Workshop on Causal Reasoning
for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016,
Eindhoven, The Netherlands, 8th April 2016, seriesEPTCS volume224, pp. pages1–8,

[9]
authorE. M. Clarke,
authorO. Grumberg &
authorD. Peled (year1999):
titleModel Checking.
publisherMIT Press.

[10]
authorEdmund M. Clarke,
authorOrna Grumberg,
authorKenneth L. McMillan &
authorXudong Zhao
(year1995): titleEfficient Generation of
Counterexamples and Witnesses in Symbolic Model Checking.
In: booktitleProc. of the 32nd Annual ACM/IEEE
Design Automation Conf. (DAC), publisherACM,
addressNew York, NY, USA, pp. pages427–432,

[11]
authorNorine Coenen,
authorBernd Finkbeiner,
authorHadar Frenkel,
authorChristopher Hahn,
authorNiklas Metzger &
authorJulian Siber
(year2022): titleTemporal Causality in Reactive
In: booktitle20th International Symposium on
Automated Technology for Verification and Analysis, ATVA, pp.
pages25–28, 10.1007/978-3-031-19992-9_13.

[12]
authorM.C. Delfour &
authorJ.P. Zolesio
(year2011): titleShapes and Geometries: Metrics,
Analysis, Differential Calculus, and Optimization, Second Edition.
seriesAdvances in Design and Control,
publisherSociety for Industrial and Applied Mathematics (SIAM,
3600 Market Street, Floor 6, Philadelphia, PA 19104),

[13]
editorErich Grädel,
editorWolfgang Thomas &
editorThomas Wilke, editors
(year2002): titleAutomata Logics, and Infinite
Games: A Guide to Current Research.
publisherSpringer-Verlag, addressBerlin,

[14]
authorAlex Groce, authorSagar
Chaki, authorDaniel Kroening & authorOfer Strichman (year2006): titleError
explanation with distance metrics.
journalInternational Journal on Software Tools
for Technology Transfer volume8(number3), pp.
pages229–247, 10.1007/978-3-540-24730-2_8.

[15]
authorAlex Groce &
authorWillem Visser
(year2003): titleWhat Went Wrong: Explaining
In editorThomas Ball &
editorSriram K. Rajamani, editors:
booktitleModel Checking Software,
publisherSpringer Berlin Heidelberg, addressBerlin,
Heidelberg, pp. pages121–136, 10.1007/3-540-44829-2_8.

[16]
authorJoseph Y. Halpern
(year2015): titleA Modification of the
Halpern-Pearl Definition of Causality.
In: booktitleProc. of the 24th Intern. Joint
Conf. on AI (IJCAI), publisherAAAI Press, pp.

[17]
authorJoseph Y. Halpern &
authorJudea Pearl
(year2001): titleCauses and Explanations: A
Structural-Model Approach: Part i: Causes.
In: booktitleProc. of the 17th Conf. on
Uncertainty in AI (UAI), publisherMorgan Kaufmann Publishers
Inc., pp. pages194–202, 10.1093/bjps/axi147.

[18]
authorJoseph Y. Halpern &
authorJudea Pearl
(year2005): titleCauses and Explanations: A
Structural-Model Approach. Part I: Causes.
journalThe British Journal for the Philosophy of
Science volume56(number4), pp.
pages843–887, 10.1093/bjps/axi147.

[19]
authorJoseph Y. Halpern &
authorJudea Pearl
(year2005): titleCauses and Explanations: A
Structural-Model Approach. Part II: Explanations.
journalThe British Journal for the Philosophy of
Science volume56(number4), pp.
pages889–911, 10.1093/bjps/axi148.

[20]
authorDavid Hume (year1739):
titleA Treatise of Human Nature.
publisherJohn Noon, 10.1093/oseo/instance.00032872.

[21]
authorDavid Hume (year1748):
titleAn Enquiry Concerning Human Understanding.

[22]
authorRichard M. Karp
(year1972): titleReducibility among
Combinatorial Problems, pp. pages85–103.
publisherSpringer US, addressBoston, MA,

[23]
authorLeonid Khachiyan,
authorEndre Boros,
authorKonrad Borys,
authorKhaled Elbassioni,
authorVladimir Gurvich,
authorGabor Rudolf &
authorJihui Zhao (year2007):
titleOn Short Paths Interdiction Problems: Total and
Node-Wise Limited Interdiction.
journalTheory of Computing Systems,

[24]
authorFlorian Leitner-Fischer &
authorStefan Leue
(year2013): titleCausality Checking for Complex
System Models.
In: booktitleProc. of the 14th Intern. Conf. on
Verification, Model Checking, and Abstract Interpretation (VMCAI), pp.
pages248–267, 10.1007/978-3-642-35873-9_16.

[25]
authorVladimir I. Levenshtein
(year1966): titleBinary codes capable of
correcting deletions, insertions, and reversals.
journalSoviet physics doklady
volume10(number8), pp. pages707–710.

[26]
authorDavid Lewis (year1973):
journalJournal of Philosophy
volume70(number17), pp. pages556–567,

[27]
authorDavid K. Lewis
(year1973): titleCounterfactuals.
publisherCambridge, MA, USA: Blackwell.

[28]
authorJ. L. Mackie (year1965):
titleCauses and Conditions.
journalAmerican Philosophical Quarterly
volume2(number4), pp. pages245–264.

[29]
authorZ. Manna & authorA.  Pnueli (year1995):
titleThe Temporal Logic of Reactive and Concurrent Systems:

[30]
authorKedar S. Namjoshi
(year2001): titleCertifying Model Checkers.
In: booktitle13th International Conference on
Computer Aided Verification (CAV), seriesLecture Notes
in Computer Science volume2102, publisherSpringer,
pp. pages2–13.

[31]
authorJulie Parreaux,
authorJakob Piribauer &
authorChristel Baier
(year2023): titleCounterfactual Causality for
Reachability and Safety based on Distance Functions.
noteArXiv preprint: <arxiv.org/abs/2308.11385>.

[32]
authorJudea Pearl (year2009):
titleCausality, edition2 edition.
publisherCambridge University Press,

[33]
authorJonas Peters,
authorDominik Janzing &
authorBernhard Schölkopf
(year2017): titleElements of Causal Inference:
Foundations and Learning Algorithms.
publisherMIT Press, addressCambridge, MA,

[34]
authorIbo van de Poel
(year2011): titleThe Relation Between
Forward-Looking and Backward-Looking Responsibility, pp.
publisherSpringer Netherlands,
addressDordrecht, 10.1007/978-94-007-1878-4_3.

[35]
authorManos Renieres &
authorSteven P. Reiss
(year2003): titleFault localization with nearest
neighbor queries.
In: booktitleProc. of the 18th IEEE Intern.
Conf. on Automated Software Engineering (ASE), pp.
pages30–39, 10.1109/ASE.2003.1240292.

[36]
authorKlaus U Schulz &
authorStoyan Mihov
(year2002): titleFast string correction with
Levenshtein automata.
journalInternational Journal on Document
Analysis and Recognition volume5(number1), pp.
pages67–85, 10.1007/s10032-002-0082-8.

[37]
authorRobert C. Stalnaker
(year1968): titleA Theory of Conditionals.
In editorWilliam L. Harper,
editorRobert Stalnaker &
editorGlenn Pearce, editors: booktitleIFS. The University of Western Ontario Series in
Philosophy of Science, volume15, publisherSpringer,
addressDordrecht, pp. pages41–55,

[38]
authorChao Wang, authorZijiang
Yang, authorFranjo Ivancic & authorAarti Gupta
(year2006): titleWhodunit? Causal Analysis for
In: booktitleProc. of the 4th Intern. Symp. on
Automated Technology for Verification and Analysis (ATVA), pp.
pages82–95, 10.1007/11901914_9.

[39]
authorShaohui Wang,
authorAnaheed Ayoub,
authorBaekGyu Kim,
authorGregor Gößler,
authorOleg Sokolsky &
authorInsup Lee (year2013):
titleA Causality Analysis Framework for Component-Based
Real-Time Systems.
In: booktitleProceedings of the 4th
International Conference on Runtime Verification (RV), pp.
pages285–303, 10.1007/978-3-642-40787-1_17.

[40]
authorVahid Yazdanpanah &
authorMehdi Dastani
(year2016): titleDistant Group Responsibility in
Multi-agent Systems.
In editorMatteo Baldoni,
editorAmit K. Chopra,
editorTran Cao Son,
editorKatsutoshi Hirayama &
editorPaolo Torroni, editors: booktitlePRIMA 2016: Princiles and Practice of Multi-Agent
Systems - 19th International Conference, Phuket, Thailand, August 22-26,
2016, Proceedings, seriesLecture Notes in Computer
Science volume9862, publisherSpringer, pp.
pages261–278, 10.1007/978-3-319-44832-9_16.

[41]
authorVahid Yazdanpanah,
authorMehdi Dastani,
authorWojciech Jamroga,
authorNatasha Alechina &
authorBrian Logan
(year2019): titleStrategic Responsibility Under
Imperfect Information.
In editorEdith Elkind,
editorManuela Veloso,
editorNoa Agmon &
editorMatthew E. Taylor, editors:
booktitleProceedings of the 18th International
Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19,
Montreal, QC, Canada, May 13-17, 2019, publisherInternational
Foundation for Autonomous Agents and Multiagent Systems, pp.

[42]
authorAndreas Zeller
(year2002): titleIsolating Cause-Effect Chains
from Computer Programs.
In: booktitleProc. of the 10th ACM SIGSOFT Symp.
on Foundations of Software Engineering (FSE), publisherACM,
addressNew York, NY, USA, pp. pages1–10,


* [141] Ahmad Salah El Ahmad, Jeff Yan, and Wai-Yin Ng.  Captcha design: Color, usability, and security.  IEEE Internet Computing, 16(2):44–51, 2011.
  * [142] Chenghui Shi, Shouling Ji, Qianjun Liu, Changchang Liu, Yuefeng Chen, Yuan He, Z Liu, R Beyah, and T Wang.  Text captcha is dead? a large scale deployment and empirical study.  In The 27th ACM Conference on Computer and Communications Security, 2020.
  * [143] Darko Brodić and Alessia Amelio.  Captcha programming.  In The CAPTCHA: Perspectives and Challenges, pages 55–76. Springer, 2020.
  * [144] M Noorjahan.  A bio metric based approach for using captcha–to enhance accessibility for the visually impaired.  Disability and Rehabilitation: Assistive Technology, 2019.
  * [145] Narges Roshanbin and James Miller.  Adamas: Interweaving unicode and color to enhance captcha security.  Future Generation Computer Systems, 55:289–310, 2016.
  * [146] Jeffrey P Bigham and Anna C Cavender.  Evaluating existing audio captchas and an interface optimized for non-visual use.  In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pages 1829–1838, 2009.
  * [147] Huy D Truong, Christopher F Turner, and Cliff C Zou.  icaptcha: the next generation of captcha designed to defend against 3rd party human attacks.  In 2011 IEEE International Conference on Communications (ICC), pages 1–6. IEEE, 2011.
  * [148] Song Gao, Manar Mohamed, Nitesh Saxena, and Chengcui Zhang.  Gaming the game: Defeating a game captcha with efficient and robust hybrid attacks.  In 2014 IEEE International Conference on Multimedia and Expo (ICME), pages 1–6. IEEE, 2014.
  * [149] Rudy Berton, Ombretta Gaggi, Agnieszka Kolasinska, Claudio Enrico Palazzi, and Giacomo Quadrio.  Are captchas preventing robotic intrusion or accessibility for impaired users?  In 2020 IEEE 17th Annual Consumer Communications & Networking Conference (CCNC), pages 1–6. IEEE, 2020.
  * [150] Lourdes Moreno, María González, and Paloma Martínez.  Captcha and accessibility-is this the best we can do?.  In WEBIST (2), pages 115–122, 2014.
  * [151] Mohammed Mujeeb Kaladgi and Jameel Ahmed Kaladgi.  Applying a partial captcha, July 16 2019.  US Patent 10,354,060.
  * [152] Me Jakeera Begum and M Venkata Rao.  Collaborative tagging using captcha.  International Journal of Innovative Technology And Research, Volume, (3):2436–2439, 2015.
  * [153] Daniel Lopresti.  Leveraging the captcha problem.  In International Workshop on Human Interactive Proofs, pages 97–110. Springer, 2005.
  * [154] Luis Von Ahn, Benjamin Maurer, Colin McMillen, David Abraham, and Manuel Blum.  recaptcha: Human-based character recognition via web security measures.  Science, 321(5895):1465–1468, 2008.
  * [155] Haichang Gao, Honggang Liu, Dan Yao, Xiyang Liu, and Uwe Aickelin.  An audio captcha to distinguish humans from computers.  In 2010 Third International Symposium on Electronic Commerce and Security, pages 265–269. IEEE, 2010.
  * [156] Triet Giang, Fei Liu, et al.  Mouse intervention captcha.  In iiWAS, pages 155–162, 2006.
  * [157] Henry S Baird, Allison L Coates, and Richard J Fateman.  Pessimalprint: a reverse turing test.  International Journal on Document Analysis and Recognition, 5(2-3):158–163, 2003.
  * [158] T Kalaichelvi and P Apuroop.  Image steganography method to achieve confidentiality using captcha for authentication.  In 2020 5th International Conference on Communication and Electronics Systems (ICCES), pages 495–499. IEEE, 2020.
  * [159] Ye Wang and Mi Lu.  An optimized system to solve text-based captcha.  arXiv preprint arXiv:1806.07202, 2018.
  * [160] K. Chellapilla and P. Simard.  Using machine learning to break visual human interaction proofs (hips).  Advances in Neural Information Processing Systems, 17, 2004.
  * [161] A.S. El Ahmad, J. Yan, and L. Marshall.  The robustness of a new captcha.  In Proceedings of the Third European Workshop on System Security, pages 36–41. ACM, 2010.
  * [162] Bin B Zhu, Jeff Yan, Qiujie Li, Chao Yang, Jia Liu, Ning Xu, Meng Yi, and Kaiwei Cai.  Attacks and design of image recognition captchas.  In Proceedings of the 17th ACM conference on Computer and communications security, pages 187–200, 2010.
  * [163] S.Y. Huang, Y.K. Lee, G. Bell, and Z. Ou.  A projection-based segmentation algorithm for breaking msn and yahoo captchas.  In Proceedings of the World Congress on Engineering, volume 1. Citeseer, 2008.
  * [164] K. Chellapilla, K. Larson, P. Simard, and M. Czerwinski.  Computers beat humans at single character recognition in reading based human interaction proofs (hips).  In Proceedings of the Second Conference on Email and Anti-Spam, pages 21–22. Citeseer, 2005.
  * [165] W. Walker, P. Lamere, P. Kwok, B. Raj, R. Singh, E. Gouvea, P. Wolf, and J. Woelfel.  Sphinx-4: A flexible open source framework for speech recognition.  Sun Microsystems, Inc. Mountain View, CA, USA, page 18, 2004.
  * [166] S. Li, S. Shah, M. Khan, S.A. Khayam, A.R. Sadeghi, and R. Schmitz.  Breaking e-banking captchas.  In Proceedings of the 26th Annual Computer Security Applications Conference, pages 171–180. ACM, 2010.
  * [167] Philippe Golle.  Machine learning attacks against the asirra captcha.  In Proceedings of the 15th ACM conference on Computer and communications security, pages 535–542, 2008.
  * [168] Renu Saroha and Sumeet Gill.  Strengthening pix captcha using trainlm function in backpropagation.  In Rising Threats in Expert Applications and Solutions, pages 679–686. Springer, 2021.
  * [169] Alex Krizhevsky, Ilya Sutskever, and Geoffrey E Hinton.  Imagenet classification with deep convolutional neural networks.  In Advances in neural information processing systems, pages 1097–1105, 2012.
  * [170] Haiqin Weng, Binbin Zhao, Shouling Ji, Jianhai Chen, Ting Wang, Qinming He, and Raheem Beyah.  Towards understanding the security of modern image captchas and underground captcha-solving services.  Big Data Mining and Analytics, 2(2):118–144, 2019.
  * [171] Feng-Lin Du, Jia-Xing Li, Zhi Yang, Peng Chen, Bing Wang, and Jun Zhang.  Captcha recognition based on faster r-cnn.  In International Conference on Intelligent Computing, pages 597–605. Springer, 2017.
  * [172] Kaixuan Liu, Rong Zhang, and Ke Qing.  Cnn for breaking text-based captcha with noise.  In Ninth International Conference on Digital Image Processing (ICDIP 2017), volume 10420, page 104202V. International Society for Optics and Photonics, 2017.
  * [173] Sumeet Sachdev.  Breaking captcha characters using multi-task learning cnn and svm.  In 2020 4th International Conference on Computational Intelligence and Networks (CINE), pages 1–6. IEEE, 2020.
  * [174] Yujin Shu and Yongjin Xu.  End-to-end captcha recognition using deep cnn-rnn network.  In 2019 IEEE 3rd Advanced Information Management, Communicates, Electronic and Automation Control Conference (IMCEC), pages 54–58. IEEE, 2019\.
  * [175] Yang Jia, Wang Fan, Chen Zhao, and Jungang Han.  An approach for chinese character captcha recognition using cnn.  In Journal of Physics: Conference Series, volume 1087, 2018.
  * [176] Stephen Dankwa and Lu Yang.  An efficient and accurate depth-wise separable convolutional neural network for cybersecurity vulnerability assessment based on captcha breaking.  Electronics, 10(4):480, 2021.
  * [177] Ondrej Bostik, Karel Horak, Lukas Kratochvila, Tomas Zemcik, and Simon Bilik.  Semi-supervised deep learning approach to break common captchas.  Neural Computing and Applications, pages 1–11, 2021.
  * [178] Jun Chen, Xiangyang Luo, Jianwei Hu, Dengpan Ye, and Daofu Gong.  An attack on hollow captcha using accurate filling and nonredundant merging.  IETE Technical Review, 35(sup1):106–118, 2018.
  * [179] Jun Chen, Xiangyang Luo, Yingying Liu, Jinwei Wang, and Yuanyuan Ma.  Selective learning confusion class for text-based captcha recognition.  IEEE Access, 7:22246–22259, 2019.
  * [180] Ajeet Singh, Vikas Tiwari, and Appala Naidu Tentu.  A machine vision attack model on image based captchas challenge: Large scale evaluation.  In International Conference on Security, Privacy, and Applied Cryptography Engineering, pages 52–64. Springer, 2018.
  * [181] Xiaohui Zhang, Xinhua Liu, Thompson Sarkodie-Gyan, and Zhixiong Li.  Development of a character captcha recognition system for the visually impaired community using deep learning.  Machine Vision and Applications, 32(1):1–19, 2021.
  * [182] Zhong Wang and Peibei Shi.  Captcha recognition method based on cnn with focal loss.  Complexity, 2021, 2021.
  * [183] Tommi Vatanen, Tapani Raiko, Harri Valpola, and Yann LeCun.  Pushing stochastic gradient towards second-order methods–backpropagation learning with transformations in nonlinearities.  In International Conference on Neural Information Processing, pages 442–449. Springer, 2013.
  * [184] Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun.  Deep residual learning for image recognition.  In Proceedings of the IEEE conference on computer vision and pattern recognition, pages 770–778, 2016.
  * [185] Ian J Goodfellow, Yaroslav Bulatov, Julian Ibarz, Sacha Arnoud, and Vinay Shet.  Multi-digit number recognition from street view imagery using deep convolutional neural networks.  arXiv preprint arXiv:1312.6082, 2013.
  * [186] Zhang Liang, Huang ShuGuang, and Shi Zhaoxiang.  A highly reliable captcha recognition algorithm based on rejection.  Acta Automatica Sinica, 37(7):891–900, 2011.
  * [187] Mengyun Tang, Haichang Gao, Yang Zhang, Yi Liu, Ping Zhang, and Ping Wang.  Research on deep learning techniques in breaking text-based captchas and designing image-based captcha.  IEEE Transactions on Information Forensics and Security, 13(10):2522–2537, 2018.
  * [188] Suphannee Sivakorn, Iasonas Polakis, and Angelos D Keromytis.  I am robot:(deep) learning to break semantic image captchas.  In 2016 IEEE European Symposium on Security and Privacy (EuroS&P), pages 388–403. IEEE, 2016.
  * [189] Gidudu Anthony, Hulley Greg, and Marwala Tshilidzi.  Classification of images using support vector machines.  arXiv preprint arXiv:0709.3967, 2007.
  * [190] Oleg Starostenko, Claudia Cruz-Perez, Fernando Uceda-Ponga, and Vicente Alarcon-Aquino.  Breaking text-based captchas with variable word and character orientation.  Pattern Recognition, 48(4):1101–1112, 2015.
  * [191] Haichang Gao, Wei Wang, and Ye Fan.  Divide and conquer: an efficient attack on yahoo! captcha.  In 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications, pages 9–16. IEEE, 2012.
  * [192] Manuel J Fonseca and Joaquim A Jorge.  Using fuzzy logic to recognize geometric shapes interactively.  In Ninth IEEE International Conference on Fuzzy Systems. FUZZ-IEEE 2000 (Cat. No. 00CH37063), volume 1, pages 291–296. IEEE, 2000.
  * [193] Joseph o’Rourke.  Computational geometry in C.  Cambridge university press, 1998.
  * [194] Sreela Sasi and Jatinder Singh Bedi.  Handwritten character recognition using fuzzy logic.  In Proceedings of 1994 37th Midwest Symposium on Circuits and Systems, volume 2, pages 1399–1402. IEEE, 1994.
  * [195] Rabih Al Nachar, Elie Inaty, Patrick J Bonnin, and Yasser Alayli.  Breaking down captcha using edge corners and fuzzy logic segmentation/recognition technique.  Security and Communication Networks, 8(18):3995–4012, 2015.
  * [196] Patrice Y Simard, David Steinkraus, John C Platt, et al.  Best practices for convolutional neural networks applied to visual document analysis.  In Icdar, volume 3, 2003.
  * [197] Alessandro L Koerich, Robert Sabourin, and Ching Y Suen.  Recognition and verification of unconstrained handwritten words.  IEEE Transactions on Pattern Analysis and Machine Intelligence, 27(10):1509–1522, 2005.
  * [198] Gaganjot Kaur and Monika Aggarwal.  Artificial intelligent system for character recognition using levenberg-marquardt algorithm.  International Journal of Advanced Research in Computer Science and Software Engineering, 2(5):220–223, 2012.
  * [199] Sameeksha Barve.  Optical character recognition using artificial neural network.  International Journal of Advanced Research in Computer Engineering & Technology, 1(4):131–133, 2012.
  * [200] Phillip Isola, Jun-Yan Zhu, Tinghui Zhou, and Alexei A Efros.  Image-to-image translation with conditional adversarial networks.  In Proceedings of the IEEE conference on computer vision and pattern recognition, pages 1125–1134, 2017.
  * [201] Jun-Yan Zhu, Taesung Park, Phillip Isola, and Alexei A Efros.  Unpaired image-to-image translation using cycle-consistent adversarial networks.  In Proceedings of the IEEE international conference on computer vision, pages 2223–2232, 2017.
  * [202] Lantao Yu, Weinan Zhang, Jun Wang, and Yong Yu.  Seqgan: Sequence generative adversarial nets with policy gradient.  In Thirty-First AAAI Conference on Artificial Intelligence, 2017\.
  * [203] Jiwei Li, Will Monroe, Tianlin Shi, Sébastien Jean, Alan Ritter, and Dan Jurafsky.  Adversarial learning for neural dialogue generation.  arXiv preprint arXiv:1701.06547, 2017.
  * [204] Noshina Tariq, Muhammad Asim, Feras Al-Obeidat, Muhammad Zubair Farooqi, Thar Baker, Mohammad Hammoudeh, and Ibrahim Ghafir.  The security of big data in fog-enabled iot applications including blockchain: A survey.  Sensors, 19(8):1788, 2019.
  * [205] A. Hindle, M.W. Godfrey, and R.C. Holt.  Reverse engineering captchas.  In 2008 15th Working Conference on Reverse Engineering, pages 59–68. IEEE, 2008.
  * [206] Kyle Adams.  Detecting and breaking captcha automation scripts and preventing image scraping, December 29 2015.  US Patent 9,223,997.
  * [207] Yang-Wai Chow, Willy Susilo, and Pairat Thorncharoensri.  CAPTCHA Design and Security Issues, pages 69–92.  Springer Singapore, 2019.
  * [208] Yujia Sun and Jan Platoš.  Captcha recognition based on kohonen maps.  In International Conference on Intelligent Networking and Collaborative Systems, pages 296–305. Springer, 2019.
  * [209] Li Wei, Xiang Li, TingRong Cao, Quan Zhang, LiangQi Zhou, and WenLi Wang.  Research on optimization of captcha recognition algorithm based on svm.  In Proceedings of the 2019 11th International Conference on Machine Learning and Computing, pages 236–240, 2019.
  * [210] Ms Mrunali S Sonwalkar.  Captcha: Novel approach to secure user.  Pramana Research Journal, 10(1):106–114, 2020.
  * [211] Fatmah H Alqahtani and Fawaz A Alsulaiman.  Is image-based captcha secure against attacks based on machine learning? an experimental study.  Computers & Security, 88:101635, 2020.
  * [212] Yang Zi, Haichang Gao, Zhouhang Cheng, and Yi Liu.  An end-to-end attack on text captchas.  IEEE Transactions on Information Forensics and Security, 15:753–766, 2019.
  * [213] Chunhui Li, Xingshu Chen, Haizhou Wang, Yu Zhang, and Peiming Wang.  An end-to-end attack on text-based captchas based on cycle-consistent generative adversarial network.  arXiv preprint arXiv:2008.11603, 2020.
  * [214] Wen-Bo Zhao, De-Shuang Huang, Ji-Yan Du, and Li-Ming Wang.  Genetic optimization of radial basis probabilistic neural networks.  International Journal of Pattern Recognition and Artificial Intelligence, 18(08):1473–1499, 2004.
  * [215] Zhong-Qiu Zhao, Peng Zheng, Shou-tao Xu, and Xindong Wu.  Object detection with deep learning: A review.  IEEE transactions on neural networks and learning systems, 30(11):3212–3232, 2019.
  * [216] Zhong-Qiu Zhao, Yiu-ming Cheung, Haibo Hu, and Xindong Wu.  Corrupted and occluded face recognition via cooperative sparse representation.  Pattern Recognition, 56:77–87, 2016.
  * [217] Xiao-Feng Wang, De-Shuang Huang, Ji-Xiang Du, Huan Xu, and Laurent Heutte.  Classification of plant leaf images with complicated background.  Applied mathematics and computation, 205(2):916–926, 2008.
  * [218] Yang Zhao, De-Shuang Huang, and Wei Jia.  Completed local binary count for rotation invariant texture classification.  IEEE transactions on image processing, 21(10):4492–4497, 2012.
  * [219] Yann LeCun, Bernhard Boser, John S Denker, Donnie Henderson, Richard E Howard, Wayne Hubbard, and Lawrence D Jackel.  Backpropagation applied to handwritten zip code recognition.  Neural computation, 1(4):541–551, 1989.
  * [220] K He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun.  2016 ieee conference on computer vision and pattern recognition (cvpr).  IEEE Las Vegas, USA, 2016.
  * [221] Margarita Osadchy, Julio Hernandez-Castro, Stuart J Gibson, Orr Dunkelman, and Daniel Pérez-Cabo.  No bot expects the deepcaptcha! introducing immutable adversarial examples with applications to captcha.  IACR Cryptol. ePrint Arch., 2016:336, 2016.
  * [222] Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian Goodfellow, and Rob Fergus.  Intriguing properties of neural networks.  arXiv preprint arXiv:1312.6199, 2013.
  * [223] Margarita Osadchy, Julio Hernandez-Castro, Stuart Gibson, Orr Dunkelman, and Daniel Pérez-Cabo.  No bot expects the deepcaptcha! introducing immutable adversarial examples, with applications to captcha generation.  IEEE Transactions on Information Forensics and Security, 12(11):2640–2653, 2017.
  * [224] Carlos Hernández-Castro, David F Barrero, and Maria Dolores R-Moreno.  Breaking captchastar using the basecass methodology.  ACM Transactions on Internet Technology, 23(1):1–12, 2023.
  * [225] Amine Ben Slama, Hanene Sahli, Aymen Mouelhi, Jihene Marrakchi, Mounir Sayadi, and Hedi Trabelsi.  Dbn-dnn: discrimination and classification of vng sequence using deep neural network framework in the emd domain.  Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization, pages 1–10, 2020.
  * [226] Nan Li, Qianyi Jiang, Qi Song, Rui Zhang, and Xiaolin Wei.  Alec: An accurate, light and efficient network for captcha recognition.  In International Workshop on Document Analysis Systems, pages 60–73. Springer, 2020.
  * [227] Burak Uzkent, Christopher Yeh, and Stefano Ermon.  Efficient object detection in large images using deep reinforcement learning.  In The IEEE Winter Conference on Applications of Computer Vision, pages 1824–1833, 2020.