@misc{indiciae6a14fbe84000,
  title = {LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)},
  author = {Tong Wu and Edoardo Manino and Fatimah Aljaafari and Pavlos Petoumenos and Lucas C. Cordeiro},
  year = {2023},
  url = {https://arxiv.org/abs/2301.09142},
  note = {Source identifier: 2301.09142}
}