From safety to guilty & from liveness to niceness

@INPROCEEDINGS{DBLP:conf/fmra/MitschQP14,
	pdf = {pub/safety-guilty-liveness-niceness.pdf},

  author    = {Stefan Mitsch and
               Jan-David Quesel and
               Andr{\'e} Platzer},
  title      = {From Safety to Guilty \& from Liveness to Niceness},
  editor     = {Calin Belta and
                Hadas Kress-Gazit},
  booktitle  = {5th Workshop on Formal Methods for Robotics and Automation},
  year       = {2014},
  doi        = {10.1184/R1/6605882.v1},
}```