Application of AI to formal methods - an analysis of current trends | Paper Citation Record

Observation cd747307-f793-4313-a1d0-c5538c56658b · outbound

This paper cites Journal of Management Analytics 6, 1–29 (2019) https://doi.org/ 10.1080/23270012.2019.1570365.

Application of AI to formal methods - an analysis of current trends Journal of Management Analytics 6, 1–29 (2019) https://doi.org/ 10.1080/23270012.2019.1570365

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.715549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdc27b0c-05c6-40eb-b0b8-b67f12e77940 · outbound

This paper cites Discover Artificial Intelligence 3 (2023) https://doi.org/10.1007/s44163-023-00089-x.

Application of AI to formal methods - an analysis of current trends Discover Artificial Intelligence 3 (2023) https://doi.org/10.1007/s44163-023-00089-x

Reference 2

Resolution: verified exact; doi, observed 2026-08-12T14:53:33.023388Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9375aff8-c8f3-43c1-a0ef-b82918acbcc1 · outbound

This paper cites Annals of Translational Medicine 11(5) (2023) https:// doi.org/10.21037/atm-22-3773.

Application of AI to formal methods - an analysis of current trends Annals of Translational Medicine 11(5) (2023) https:// doi.org/10.21037/atm-22-3773

Reference 3

Resolution: verified exact; doi, observed 2026-08-12T14:53:32.935481Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation beb53686-48d8-4a3a-93f3-6498d32d4fc6 · outbound

This paper cites Mathematics 11(11) (2023) https://doi.org/10.3390/ math11112420.

Application of AI to formal methods - an analysis of current trends Mathematics 11(11) (2023) https://doi.org/10.3390/ math11112420

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:26.729393Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ce7e79b-7a32-4224-9775-b1ce0d4543a1 · outbound

This paper cites AI Perspectives 2 (2020) https://doi.org/10.1186/ s42467-020-00005-4.

Application of AI to formal methods - an analysis of current trends AI Perspectives 2 (2020) https://doi.org/10.1186/ s42467-020-00005-4

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:26.734126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f801f349-1e72-4c79-818d-8f783bd39039 · outbound

This paper cites IEEE Access 9, 140896–140920 (2021) https://doi.org/10.1109/ACCESS.2021.3119746.

Application of AI to formal methods - an analysis of current trends IEEE Access 9, 140896–140920 (2021) https://doi.org/10.1109/ACCESS.2021.3119746

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.739456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6013e9e3-30a8-4f14-ade4-c3b43b70602b · outbound

This paper cites (eds.): Software Engi- neering Body of Knowledge vol.

Application of AI to formal methods - an analysis of current trends (eds.): Software Engi- neering Body of Knowledge vol

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.744561Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f18560e-61c2-47fc-a84e-744a0051ce31 · outbound

This paper cites Information and Software Technology 64, 1–18 (2015) https://doi.org/10.1016/j.infsof.2015.03.007.

Application of AI to formal methods - an analysis of current trends Information and Software Technology 64, 1–18 (2015) https://doi.org/10.1016/j.infsof.2015.03.007

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.749495Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 599d7756-dcc1-484a-8742-9b76d5494cf3 · outbound

This paper cites In: Proceedings of the 14th International Conference on Evaluation and Assessment in Software Engineering.

Application of AI to formal methods - an analysis of current trends In: Proceedings of the 14th International Conference on Evaluation and Assessment in Software Engineering

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.753751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8d0dd84-3846-4df4-b4ce-5e0783549f79 · outbound

This paper cites Technical report, Keele University (2007).

Application of AI to formal methods - an analysis of current trends Technical report, Keele University (2007)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.758991Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 686d5c9a-ff6f-40f1-95e5-fc0dbff10a94 · outbound

This paper cites ACM Computing Surveys 41, 1–36 (2009) https: //doi.org/10.1145/1592434.1592436.

Application of AI to formal methods - an analysis of current trends ACM Computing Surveys 41, 1–36 (2009) https: //doi.org/10.1145/1592434.1592436

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.763182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ee8b556-dce6-41b5-9c8e-01eab3f96822 · outbound

This paper cites ACM Computing Surveys 28(4), 626–643 (1996) https://doi.org/10.1145/ 242223.242257.

Application of AI to formal methods - an analysis of current trends ACM Computing Surveys 28(4), 626–643 (1996) https://doi.org/10.1145/ 242223.242257

Reference 12

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:26.771097Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6afd4ede-8f07-41c3-a006-93636c3d3d76 · outbound

This paper cites (eds.): Hand- book of Model Checking.

Application of AI to formal methods - an analysis of current trends (eds.): Hand- book of Model Checking

Reference 14

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:26.783205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9dcfcae-e9a8-4649-9889-d7f78936c94c · outbound

This paper cites Courier Dover Publications, USA (2015).

Application of AI to formal methods - an analysis of current trends Courier Dover Publications, USA (2015)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.788693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd657ccd-6c46-4d29-bc4a-ecbf203724ca · outbound

This paper cites Texts in Theoretical Computer Science.

Application of AI to formal methods - an analysis of current trends Texts in Theoretical Computer Science

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.793361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 155c51ae-a9c3-4911-ab37-37cf6785f5cc · outbound

This paper cites (eds.): Handbook of Satisfiabil- ity, 2nd edn.

Application of AI to formal methods - an analysis of current trends (eds.): Handbook of Satisfiabil- ity, 2nd edn

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.797644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cac788c2-697c-4848-9232-053d6012e55d · outbound

This paper cites In: Clarke, E.M., Hen- zinger, T.A., Veith, H., Bloem, R.

Application of AI to formal methods - an analysis of current trends In: Clarke, E.M., Hen- zinger, T.A., Veith, H., Bloem, R

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.807446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0df87442-2b38-43ae-afcf-1f1fc77515d2 · outbound

This paper cites Journal of Automated Reasoning 51, 57–77 (2013) https://doi.org/10.

Application of AI to formal methods - an analysis of current trends Journal of Automated Reasoning 51, 57–77 (2013) https://doi.org/10

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.812190Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c147560-c266-49d8-ab1f-7655937b0836 · outbound

This paper cites In: Emerson, E.A., Sistla, A.P.

Application of AI to formal methods - an analysis of current trends In: Emerson, E.A., Sistla, A.P

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.816470Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf39e1f7-045d-4366-9a99-48778ecc0ff0 · outbound

This paper cites In: Proceedings Design, Automation and Test in Europe.

Application of AI to formal methods - an analysis of current trends In: Proceedings Design, Automation and Test in Europe

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.821195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 980bf93b-21ef-4662-be32-76fe9a53b4c8 · outbound

This paper cites Journal of Systems Architecture 51(8), 488–511 (2005) https: //doi.org/10.1016/j.sysarc.2004.10.006.

Application of AI to formal methods - an analysis of current trends Journal of Systems Architecture 51(8), 488–511 (2005) https: //doi.org/10.1016/j.sysarc.2004.10.006

Reference 22

Resolution: verified exact; doi, observed 2026-08-12T14:53:32.781264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 26619d5e-bc30-4998-8b0b-269945f54642 · outbound

This paper cites IEEE Journal of Oceanic Engineering 13(2), 14–42 (1988) https://doi.org/10.

Application of AI to formal methods - an analysis of current trends IEEE Journal of Oceanic Engineering 13(2), 14–42 (1988) https://doi.org/10

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.829330Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0caf686-e02e-45de-ab00-7391cb9c0183 · outbound

This paper cites McGraw-Hill Professional, New York, NY, USA (1997).

Application of AI to formal methods - an analysis of current trends McGraw-Hill Professional, New York, NY, USA (1997)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.833201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 842abace-1a92-4d76-ae49-6d999d6ec644 · outbound

This paper cites Spartan Books, Washington, DC (1962).

Application of AI to formal methods - an analysis of current trends Spartan Books, Washington, DC (1962)

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.837321Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2d9039a-f90e-4360-8bf1-3baef06cbaa9 · outbound

This paper cites MIT Press, Cambridge, MA (2016).

Application of AI to formal methods - an analysis of current trends MIT Press, Cambridge, MA (2016)

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.841605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e305811-af6d-4226-a178-4c551cedb8b4 · outbound

This paper cites In: Proceedings of 2010 IEEE International Symposium on Circuits and Systems, pp.

Application of AI to formal methods - an analysis of current trends In: Proceedings of 2010 IEEE International Symposium on Circuits and Systems, pp

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.845746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f15ca7ed-4c9c-4643-99fb-97e411f68565 · outbound

This paper cites In: Don- ahoe, J.W., Dorsel, V.P.

Application of AI to formal methods - an analysis of current trends In: Don- ahoe, J.W., Dorsel, V.P

Reference 28

Resolution: verified exact; doi, observed 2026-08-12T14:53:32.709071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c0ff6d47-b7c0-436a-8fe5-b8f7327cb2fe · outbound

This paper cites In: Guyon, I., Luxburg, U.V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S., Garnett, R.

Application of AI to formal methods - an analysis of current trends In: Guyon, I., Luxburg, U.V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S., Garnett, R

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.854036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b71d8c22-00cc-455a-8485-e71e0280c014 · outbound

This paper cites AI Open 1, 57–81 (2020) https://doi.org/10.1016/j.aiopen.2021.01.001.

Application of AI to formal methods - an analysis of current trends AI Open 1, 57–81 (2020) https://doi.org/10.1016/j.aiopen.2021.01.001

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.857838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bade5ec-10b1-4788-af94-9ccd25c2afbf · outbound

This paper cites SN Computer Science 2 (2021) https://doi.

Application of AI to formal methods - an analysis of current trends SN Computer Science 2 (2021) https://doi

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.862159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b704db7-556c-4c9c-8ef2-c394bf97fd78 · outbound

This paper cites Journal of artificial intelligence research 4, 237–285 (1996) https://doi.org/10.

Application of AI to formal methods - an analysis of current trends Journal of artificial intelligence research 4, 237–285 (1996) https://doi.org/10

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.866269Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36192102-11c6-4fd0-b73b-00ba5f8de741 · outbound

This paper cites MIT Press, Cambridge, MA (2018).

Application of AI to formal methods - an analysis of current trends MIT Press, Cambridge, MA (2018)

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.871178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f0e3323-015b-4af9-975b-85badf343bec · outbound

This paper cites Fundamentals of Artificial Intelligence, pp.

Application of AI to formal methods - an analysis of current trends Fundamentals of Artificial Intelligence, pp

Reference 34

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:26.875719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c0b7f05-2f9d-4bad-916e-30429c947df6 · outbound

This paper cites Multimedia Tools and Applications 82, 3713–3744 (2023) https://doi.org/10.1007/s11042-022-13428-4.

Application of AI to formal methods - an analysis of current trends Multimedia Tools and Applications 82, 3713–3744 (2023) https://doi.org/10.1007/s11042-022-13428-4

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.880362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 310ad929-8dca-49a8-b79e-5dc10b9da28d · outbound

This paper cites ACM Transactions on Intelligent Systems and Technology 15(3), 1–45 (2024) https://doi.org/10.1145/3641289.

Application of AI to formal methods - an analysis of current trends ACM Transactions on Intelligent Systems and Technology 15(3), 1–45 (2024) https://doi.org/10.1145/3641289

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.884554Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68ee194e-89d7-4344-ab0c-c398c8449f22 · outbound

This paper cites IEEE/CAA Journal of Automatica Sinica 10(5), 1122–1136 (2023) https://doi.org/10.1109/JAS.2023.123618.

Application of AI to formal methods - an analysis of current trends IEEE/CAA Journal of Automatica Sinica 10(5), 1122–1136 (2023) https://doi.org/10.1109/JAS.2023.123618

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.890053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f56ee006-e7bd-40e6-928b-b31b89aae94c · outbound

This paper cites MIT press, Cam- bridge, MA (1998).

Application of AI to formal methods - an analysis of current trends MIT press, Cam- bridge, MA (1998)

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.894446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5dc7e9c1-1b76-4de1-bd96-3483c65077f2 · outbound

This paper cites In: Wang, L.

Application of AI to formal methods - an analysis of current trends In: Wang, L

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.898358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a507e432-2c99-4554-abd9-34d7960eaf2b · outbound

This paper cites Wiley series in probability and statistics.

Application of AI to formal methods - an analysis of current trends Wiley series in probability and statistics

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.902712Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ff08a9b-b218-46d4-926e-063e9a562ea0 · outbound

This paper cites IEEE Transactions on Information Theory 13(1), 21–27 (1967) https://doi.org/10.1109/TIT.1967.

Application of AI to formal methods - an analysis of current trends IEEE Transactions on Information Theory 13(1), 21–27 (1967) https://doi.org/10.1109/TIT.1967

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.907010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17606651-1cac-4bba-8b1c-8286de36ba24 · outbound

This paper cites Taylor & Francis, New York, NY (1984).

Application of AI to formal methods - an analysis of current trends Taylor & Francis, New York, NY (1984)

Reference 42

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:26.911371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ce11a10-7db7-4db6-a258-7d6661f32212 · outbound

This paper cites Machine learning 45(1), 5–32 (2001) https://doi.

Application of AI to formal methods - an analysis of current trends Machine learning 45(1), 5–32 (2001) https://doi

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.915387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4133ca06-08bf-415d-b104-759ff1b65afb · outbound

This paper cites In: Bousquet, O., Luxburg, U., R¨ atsch, G.

Application of AI to formal methods - an analysis of current trends In: Bousquet, O., Luxburg, U., R¨ atsch, G

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.919494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25fdde13-8d24-4790-b085-e5d6bef98a6c · outbound

This paper cites In: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering.

Application of AI to formal methods - an analysis of current trends In: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.923805Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97520f61-9fbb-495a-b276-a664dd7873a0 · outbound

This paper cites Electronic Notes in Theoretical Computer Science 86, 147–152 (2003) https://doi.org/10.1016/S1571-0661(04) 80659-5.

Application of AI to formal methods - an analysis of current trends Electronic Notes in Theoretical Computer Science 86, 147–152 (2003) https://doi.org/10.1016/S1571-0661(04) 80659-5

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.927860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33eefd55-0b40-4047-b3ef-891e72a0a4ac · outbound

This paper cites MIT press, Cambridge, MA (2018).

Application of AI to formal methods - an analysis of current trends MIT press, Cambridge, MA (2018)

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.931855Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83770079-7583-468f-822b-9fa1377ec6f3 · outbound

This paper cites Science 359(6377), 725–726 (2018) https://doi.org/10.1126/science.359.6377.725.

Application of AI to formal methods - an analysis of current trends Science 359(6377), 725–726 (2018) https://doi.org/10.1126/science.359.6377.725

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.936045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 999d5550-ed97-41c8-814b-521726fe1b93 · outbound

This paper cites OpenAI Gym.

Application of AI to formal methods - an analysis of current trends OpenAI Gym

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.942612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98ed560f-e3b5-42c6-befa-932a193c0c09 · outbound

This paper cites In: First International Symposium on Empir- ical Software Engineering and Measurement (ESEM 2007), pp.

Application of AI to formal methods - an analysis of current trends In: First International Symposium on Empir- ical Software Engineering and Measurement (ESEM 2007), pp

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.947469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f2adce2-b6d5-44d9-b037-8a5bbe568c52 · outbound

This paper cites ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification.

Application of AI to formal methods - an analysis of current trends ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.951490Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46dfd307-c71a-4752-855c-dcf8bba1b988 · outbound

This paper cites IEEE Access 8, 108561– 108578 (2020) https://doi.org/10.1109/ACCESS.2020.3000907.

Application of AI to formal methods - an analysis of current trends IEEE Access 8, 108561– 108578 (2020) https://doi.org/10.1109/ACCESS.2020.3000907

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.956136Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a75195b-bf75-4c5f-a0b8-f60c56e1a1f5 · outbound

This paper cites Formal Methods in System Design 60, 1–26 (2023) https: //doi.org/10.1007/s10703-023-00430-1.

Application of AI to formal methods - an analysis of current trends Formal Methods in System Design 60, 1–26 (2023) https: //doi.org/10.1007/s10703-023-00430-1

Reference 53

Resolution: verified exact; doi, observed 2026-08-12T14:53:32.556251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 16b17584-5690-4a30-b3cf-f113fe24cb6d · outbound

This paper cites International Journal of Advanced Intelligence Paradigms 5(3), 233–256 (2013) https://doi.org/10.1504/IJAIP.

Application of AI to formal methods - an analysis of current trends International Journal of Advanced Intelligence Paradigms 5(3), 233–256 (2013) https://doi.org/10.1504/IJAIP

Reference 54

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:26.964397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8eb4d557-ab29-4edb-b9ed-fd3fc5bae07d · outbound

This paper cites Foundations and Trends ® in Machine Learning 14(6), 807–989 (2021) https://doi.org/10.1561/2200000081.

Application of AI to formal methods - an analysis of current trends Foundations and Trends ® in Machine Learning 14(6), 807–989 (2021) https://doi.org/10.1561/2200000081

Reference 55

Resolution: verified exact; doi, observed 2026-08-12T14:53:32.538959Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c71e2bb5-0aba-4d19-9312-7edb850b71e8 · outbound

This paper cites Machine Intelligence Research 20, 640–655 (2023) https://doi.org/10.1007/s11633-022-1396-2.

Application of AI to formal methods - an analysis of current trends Machine Intelligence Research 20, 640–655 (2023) https://doi.org/10.1007/s11633-022-1396-2

Reference 56

Resolution: verified exact; doi, observed 2026-08-12T14:53:32.521923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b6e5f776-72b3-4981-bb9b-f7dab9a8c594 · outbound

This paper cites In: Zhang, Y.

Application of AI to formal methods - an analysis of current trends In: Zhang, Y

Reference 57

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:26.978984Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 978576bd-846d-4d9c-83f7-7a0ec05a5eb3 · outbound

This paper cites In: Biere, A., Heule, M., Maaren, H., Walsh, T.

Application of AI to formal methods - an analysis of current trends In: Biere, A., Heule, M., Maaren, H., Walsh, T

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.983271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9b1faaf-7c20-4a75-bf83-b0bb9e46de97 · outbound

This paper cites In: Sankaranarayanan, S., Sharygina, N.

Application of AI to formal methods - an analysis of current trends In: Sankaranarayanan, S., Sharygina, N

Reference 59

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:26.987728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2c849e1-ee56-4fa6-87c7-4b49cd27309f · outbound

This paper cites In: Gomes, C., Sellmann, M.

Application of AI to formal methods - an analysis of current trends In: Gomes, C., Sellmann, M

Reference 60

Resolution: verified exact; doi, observed 2026-08-12T14:51:28.888479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d983b826-4486-4e0c-8759-0034bdebad27 · outbound

This paper cites Journal of Intelligent Information Systems 58, 91–118 (2022) https://doi.org/10.1007/s10844-021-00666-5.

Application of AI to formal methods - an analysis of current trends Journal of Intelligent Information Systems 58, 91–118 (2022) https://doi.org/10.1007/s10844-021-00666-5

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:26.996406Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c62103b-f932-4ead-8513-297b0958765f · outbound

This paper cites In: Bonacina, M.P., Stickel, M.E.

Application of AI to formal methods - an analysis of current trends In: Bonacina, M.P., Stickel, M.E

Reference 62

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:27.001555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 066fd83b-8270-455a-8581-26453f97a2c5 · outbound

This paper cites In: Stefan Geschke, P.S.

Application of AI to formal methods - an analysis of current trends In: Stefan Geschke, P.S

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.006245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2c89898-c688-46a4-b338-463eef97a2e4 · outbound

This paper cites Journal of Automated Reasoning 41 57, 219–244 (2016) https://doi.org/10.1007/s10817-016-9362-8.

Application of AI to formal methods - an analysis of current trends Journal of Automated Reasoning 41 57, 219–244 (2016) https://doi.org/10.1007/s10817-016-9362-8

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.010037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73bc62ab-0654-413f-8b04-d9248c7e9a16 · outbound

This paper cites In: Davenport, J.H., Kauers, M., Labahn, G., Urban, J.

Application of AI to formal methods - an analysis of current trends In: Davenport, J.H., Kauers, M., Labahn, G., Urban, J

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.014529Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9add3e7f-930b-47cb-a16f-46abef7d5b75 · outbound

This paper cites (eds.) Proceedings of TextGraphs-16: Graph-based Methods for Natural Language Processing, pp.

Application of AI to formal methods - an analysis of current trends (eds.) Proceedings of TextGraphs-16: Graph-based Methods for Natural Language Processing, pp

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.018942Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfe184fd-6b92-49dd-8dec-d07b469a40eb · outbound

This paper cites Artificial Intelligence 206, 79–111 (2014) https://doi.

Application of AI to formal methods - an analysis of current trends Artificial Intelligence 206, 79–111 (2014) https://doi

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.023048Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a9c3d6f-8a25-4ed0-896b-66ae987237fa · outbound

This paper cites In: Tan, Y.

Application of AI to formal methods - an analysis of current trends In: Tan, Y

Reference 68

Resolution: verified exact; doi, observed 2026-08-12T14:51:28.845638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation baa5e0b1-a07a-4d6c-9b18-40f977439345 · outbound

This paper cites (eds.) Machine Learning for Software Analysis: Models, Methods, and Applications.

Application of AI to formal methods - an analysis of current trends (eds.) Machine Learning for Software Analysis: Models, Methods, and Applications

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.033739Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 371da062-16f2-4d7b-b4f4-3bace915074a · outbound

This paper cites In: Gamper, J., Pinchinat, S., Sciavicco, G.

Application of AI to formal methods - an analysis of current trends In: Gamper, J., Pinchinat, S., Sciavicco, G

Reference 70

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:27.038243Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b71e166-230a-4c61-b44c-965081c96129 · outbound

This paper cites In: 2019 IEEE 17th International Conference on Industrial Infor- matics (INDIN), pp.

Application of AI to formal methods - an analysis of current trends In: 2019 IEEE 17th International Conference on Industrial Infor- matics (INDIN), pp

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.042456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdb86b24-5f1a-48a0-9038-2a4907a12159 · outbound

This paper cites In: AAAI- 23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations, vol.

Application of AI to formal methods - an analysis of current trends In: AAAI- 23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations, vol

Reference 72

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:27.046383Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c275bc0f-d4ce-43ae-acb3-a7409b3408dd · outbound

This paper cites Software and Systems Modeling 21(3), 1135–1157 (2022) https://doi.org/10.1007/s10270-022-00983-5.

Application of AI to formal methods - an analysis of current trends Software and Systems Modeling 21(3), 1135–1157 (2022) https://doi.org/10.1007/s10270-022-00983-5

Reference 74

Resolution: verified exact; doi, observed 2026-08-12T14:51:28.810587Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5cdd43bb-e9af-4602-9556-d2bd54d01067 · outbound

This paper cites In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), pp.

Application of AI to formal methods - an analysis of current trends In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), pp

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.060382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4594dba9-b35f-45dd-9c10-2f1480b95950 · outbound

This paper cites IEEE Access 10, 49508–49527 (2022) https://doi.org/10.

Application of AI to formal methods - an analysis of current trends IEEE Access 10, 49508–49527 (2022) https://doi.org/10

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.064567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de4a5c15-10bc-4426-ac0d-729ca7f01bc3 · outbound

This paper cites In: 2022 International Symposium on iNnovative Informatics of Biskra (ISNIB), pp.

Application of AI to formal methods - an analysis of current trends In: 2022 International Symposium on iNnovative Informatics of Biskra (ISNIB), pp

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.069896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 340ba4b3-8ee0-42b1-82f3-4fe95453a5ce · outbound

This paper cites In: International Conference on Learn- ing Representations.

Application of AI to formal methods - an analysis of current trends In: International Conference on Learn- ing Representations

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.074105Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d15056f-ee75-4699-8d06-c4bf23edf608 · outbound

This paper cites In: Jain, L.C., Tsihrintzis, G.A., Balas, V.E., Sharma, D.K.

Application of AI to formal methods - an analysis of current trends In: Jain, L.C., Tsihrintzis, G.A., Balas, V.E., Sharma, D.K

Reference 79

Resolution: verified exact; doi, observed 2026-08-12T14:51:28.796352Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation fccf07da-8981-4b57-bc3c-bca33dac1785 · outbound

This paper cites In: 2022 IEEE 34th Interna- tional Conference on Tools with Artificial Intelligence (ICTAI), pp.

Application of AI to formal methods - an analysis of current trends In: 2022 IEEE 34th Interna- tional Conference on Tools with Artificial Intelligence (ICTAI), pp

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.082370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e6557a4-3199-4e0e-91a3-e0d5c42bb48a · outbound

This paper cites In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A.

Application of AI to formal methods - an analysis of current trends In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.087821Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8def3f2-d6ea-4043-92fc-bfe105f58a9a · outbound

This paper cites In: Simonis, H.

Application of AI to formal methods - an analysis of current trends In: Simonis, H

Reference 82

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:27.091825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cf6724c-7fca-44e6-915f-2406ce033b1e · outbound

This paper cites In: International Conference on Learning Representations.

Application of AI to formal methods - an analysis of current trends In: International Conference on Learning Representations

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.096095Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94b1a022-6fe6-48e8-a937-dee6cd338975 · outbound

This paper cites In: Arai, K.

Application of AI to formal methods - an analysis of current trends In: Arai, K

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.100034Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 032cbf66-086d-48ee-a3d0-98204d597e1b · outbound

This paper cites In: Wallach, H., Larochelle, H., Beygelzimer, A., Alch´ e-Buc, F., Fox, E., Garnett, R.

Application of AI to formal methods - an analysis of current trends In: Wallach, H., Larochelle, H., Beygelzimer, A., Alch´ e-Buc, F., Fox, E., Garnett, R

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.104444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 874fc734-3af4-464d-8180-c9a0626eb39a · outbound

This paper cites In: Gama, J., Li, T., Yu, Y., Chen, E., Zheng, Y., Teng, F.

Application of AI to formal methods - an analysis of current trends In: Gama, J., Li, T., Yu, Y., Chen, E., Zheng, Y., Teng, F

Reference 86

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:27.108943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18634296-e8fc-4fba-8229-06e3b21d205f · outbound

This paper cites In: Dolev, S., Kolesnikov, V., Lodha, S., Weiss, G.

Application of AI to formal methods - an analysis of current trends In: Dolev, S., Kolesnikov, V., Lodha, S., Weiss, G

Reference 87

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:27.113548Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ecc1cd8-e456-46c0-a071-2c63430ee548 · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.

Application of AI to formal methods - an analysis of current trends In: Proceedings of the AAAI Conference on Artificial Intelligence, vol

Reference 88

Resolution: verified exact; doi, observed 2026-08-12T14:51:28.775165Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a8dae1c0-ecc9-4819-b2ea-fd5d4d48a617 · outbound

This paper cites International Journal of Computational Intelligence Systems 15(1), 84 (2022) https://doi.org/10.1007/s44196-022-00139-9.

Application of AI to formal methods - an analysis of current trends International Journal of Computational Intelligence Systems 15(1), 84 (2022) https://doi.org/10.1007/s44196-022-00139-9

Reference 89

Resolution: verified exact; doi, observed 2026-08-12T14:51:28.761921Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1e88bdd9-814d-477b-bd91-5584a80e2a22 · outbound

This paper cites In: Janota, M., Lynce, I.

Application of AI to formal methods - an analysis of current trends In: Janota, M., Lynce, I

Reference 90

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:27.127912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34e74362-a515-4c86-9a82-3ca00d238575 · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.

Application of AI to formal methods - an analysis of current trends In: Proceedings of the AAAI Conference on Artificial Intelligence, vol

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.131951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59c1836a-c948-4a8e-bc06-291096320b8d · outbound

This paper cites In: Bessiere, C.

Application of AI to formal methods - an analysis of current trends In: Bessiere, C

Reference 92

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:27.136497Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7e7fa8a-f1d1-4a12-a7d4-1345ced04294 · outbound

This paper cites In: 28th Inter- national Conference on Principles and Practice of Constraint Programming.

Application of AI to formal methods - an analysis of current trends In: 28th Inter- national Conference on Principles and Practice of Constraint Programming

Reference 93

Resolution: verified exact; doi, observed 2026-08-12T14:51:28.742783Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0fe33055-1606-43fd-a075-8d03e4fbbce6 · outbound

This paper cites In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M.F., Lin, H.

Application of AI to formal methods - an analysis of current trends In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M.F., Lin, H

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.145440Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 796f5351-4de8-4899-9b70-ea008d60d407 · outbound

This paper cites In: Marreiros, G., Martins, B., Paiva, A., Ribeiro, B., Sardinha, A.

Application of AI to formal methods - an analysis of current trends In: Marreiros, G., Martins, B., Paiva, A., Ribeiro, B., Sardinha, A

Reference 95

Resolution: verified exact; doi, observed 2026-08-12T14:51:28.729924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1bd62bbb-3764-4745-be07-18f19f79472d · outbound

This paper cites Artificial Intelligence 314, 103794 (2023) https://doi.org/10.1016/j.artint.2022.103794.

Application of AI to formal methods - an analysis of current trends Artificial Intelligence 314, 103794 (2023) https://doi.org/10.1016/j.artint.2022.103794

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.154158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66b799db-4f43-4533-a063-83ea736636b4 · outbound

This paper cites Intelligent Decision Technologies 13(2), 193–210 (2019) https://doi.org/10.3233/idt-180036.

Application of AI to formal methods - an analysis of current trends Intelligent Decision Technologies 13(2), 193–210 (2019) https://doi.org/10.3233/idt-180036

Reference 97

Resolution: verified exact; doi, observed 2026-08-12T14:51:28.717087Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 76dc0a26-3c85-4b7c-9b64-e0eb9cba8c96 · outbound

This paper cites Machine Learning: Science and Technology 2(3), 035032 (2021) https: //doi.org/10.1088/2632-2153/ac0496 45.

Application of AI to formal methods - an analysis of current trends Machine Learning: Science and Technology 2(3), 035032 (2021) https: //doi.org/10.1088/2632-2153/ac0496 45

Reference 98

Resolution: verified exact; doi, observed 2026-08-12T14:51:28.701006Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 3828a0a7-2bc2-4db8-9864-a090e76d7877 · outbound

This paper cites International Journal of Computational Intelligence Systems15(1) (2022) https://doi.org/10.1007/s44196-022-00120-6.

Application of AI to formal methods - an analysis of current trends International Journal of Computational Intelligence Systems15(1) (2022) https://doi.org/10.1007/s44196-022-00120-6

Reference 99

Resolution: verified exact; doi, observed 2026-08-12T14:51:28.688074Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 91aeb062-78bd-476f-8e58-1fd2fdba7933 · outbound

This paper cites In: Chikhi, S., Amine, A., Chaoui, A., Saidouni, D.E., Kholladi, M.K.

Application of AI to formal methods - an analysis of current trends In: Chikhi, S., Amine, A., Chaoui, A., Saidouni, D.E., Kholladi, M.K

Reference 100

Resolution: verified exact; doi, observed 2026-08-12T14:51:28.676722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation eb18b8af-e930-4397-8d69-ed7ea321a727 · outbound

This paper cites In: Raedt, L.D.

Application of AI to formal methods - an analysis of current trends In: Raedt, L.D

Reference 101

Resolution: unresolved; no resolver link, observed 2026-08-12T14:51:27.176867Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0afccc8d-1acf-46bc-b4ff-9ca65b0d3103 · outbound

This paper cites In: Rocha, A., Steels, L., VandenHerik, J.

Application of AI to formal methods - an analysis of current trends In: Rocha, A., Steels, L., VandenHerik, J

Reference 102

Resolution: malformed identifier; no resolver link, observed 2026-08-12T14:51:27.180824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers