@inproceedings{AKK15,
  author    = {S. Almagor and D. Kuperberg and O. Kupferman},
  title     = {The Sensing Cost of Monitoring and Synthesis},
  booktitle = fsttcs15,
  pages     = "380-393",
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  series    = {LIPIcs},
  volume    = 45,
  year      = {2015}
}