@misc{indiciae8e451b611512,
  title = {Towards formalization and monitoring of microscopic traffic parameters using temporal logic},
  author = {Mariam Nour and Mohamed H. Zaki},
  year = {2021},
  url = {https://arxiv.org/abs/2110.06208},
  note = {Source identifier: 2110.06208}
}