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