notesum.ai
Published at November 22Application of AI to formal methods -- an analysis of current trends
cs.LO
cs.AI
Released Date: November 22, 2024
Authors: Sebastian Stock1, Jannik Dunkelau2, Atif Mashkoor1
Aff.: 1Johannes Kepler University Linz, Institute of Software System Engineering, Linz, 4040, Austria; 2Heinrich Heine University Düsseldorf, Faculty of Mathematics and Natural Sciences, Institute of Computer Science, Düsseldorf, 40225, Germany

| Entries grouped by years | ||
| Year | Articles | Count |
| \endfirsthead(Continued from previous page.) | ||
| Year | Articles | Count |
| \endhead (Continued on next page.) | ||
| \endfoot Total | 191 | |
| \endlastfoot2019 | [80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111] | 32 |
| 2020 | [112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159] | 48 |
| 2021 | [160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198] | 39 |
| 2022 | [199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249] | 51 |
| 2023 | [250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 60, 263, 264, 265, 266, 267, 268, 269] | 21 |