@inproceedings{KP22,
  author    = {O. Kupferman and A. Petruschka}
  title     = {Lazy Regular Sensing},
  booktitle = dcsf22,
  series    = {Lecture Notes in Computer Science},
  volume    = {13439},
  pages     = {155--169},
  publisher = {Springer},
  year      = {2022}
  }




@article{KP23,
  author       = {O. Kupferman and A. Petruschka}
  title        = {Lazy regular sensing},
  journal      = {Theor. Comput. Sci.},
  volume       = {971},
  pages        = {114057},
  year         = {2023}
}