@inproceedings{AKK14,
  author    = {S. Almagor and D. Kuperberg and O. Kupferman},
  title     = {Regular Sensing},
  booktitle = fsttcs14,
  pages     = ?,
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  series    = {LIPIcs},
  volume    = ?,
  year      = {2014}
}