by Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
Reference:
Temporal Logic as FilteringAlena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu19th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, Proceedings (Satinder P. Singh, Shaul Markovitch, eds.), pages 11–20, 2016.
Bibtex Entry:
@inproceedings{DBLP:conf/hscc/Rodionova16,
author = {Alena Rodionova and Ezio Bartocci and
Dejan Nickovic and Radu Grosu},
editor = {Satinder P. Singh and
Shaul Markovitch},
title = {Temporal Logic as Filtering},
booktitle = {19th ACM International Conference on Hybrid
Systems: Computation and Control, {HSCC} 2016, Vienna, Austria,
April 12-14, 2016, Proceedings},
year = {2016},
pages = {11--20},
url =
{http://dl.acm.org/ft_gateway.cfm?id=2883839&ftid=1708152&dwn=1&CFID=756260696&CFTOKEN=97584112},
biburl =
{http://dl.acm.org/downformats.cfm?id=2883839&parent_id=2883817&expformat=bibtex&CFID=756260696&CFTOKEN=97584112},
}