From safety to guilty & from liveness to niceness

@inproceedings{DBLP:conf/fmra/MitschQP14,
	pdf = {pub/safety-guilty-liveness-niceness.pdf},
	author = {['Stefan Mitsch', 'Jan-David Quesel', 'André Platzer']},
	title = {From Safety to Guilty & from Liveness to Niceness},
	editor = {['Calin Belta', 'Hadas Kress-Gazit']},
	booktitle = {5th Workshop on Formal Methods for Robotics and Automation},
	year = {2014},
	doi = {10.1184/R1/6605882.v1}
}