@misc{indiciae68b10b187d79,
  title = {Model checking with temporal graphs and their derivative},
  author = {Binh-Minh Bui-Xuan and Florent Krasnopol and Bruno Monasson and Nathalie Sznajder},
  year = {2026},
  url = {https://arxiv.org/abs/2602.12446},
  note = {Source identifier: 2602.12446}
}