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}
}