Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.”https://doi.org/10.1007/978-3-031-37706-8_20__In 35th International Conference on Computer Aided Verification , 13964:390–414. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37706-8_20 .
LibreCat: https://research-explorer.ista.ac.at/record/14259
DOI: 10.1007/978-3-031-37706-8_20

Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.”https://doi.org/10.1007/978-3-031-37706-8_8__In 35th International Conference on Computer Aided Verification , 13964:156–69. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37706-8_8 .
LibreCat: https://research-explorer.ista.ac.at/record/14260
DOI: 10.1007/978-3-031-37706-8_8