Temporal Logic as Filtering

Dejan Nickovic (Speaker), Alena Radionova, Ezio Bartocci, Radu Grosu

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	HSCC 2016
Pages	11-20
Number of pages	10
Publication status	Published - 2016
Event	International Conference on Hybrid Systems: Computation and Control, HSCC 2016 - Duration: 11 Apr 2016 → 14 Apr 2016

Conference	International Conference on Hybrid Systems: Computation and Control, HSCC 2016
Period	11/04/16 → 14/04/16

Research Field

@inproceedings{86595f6e87864cba82aae84d95783de3,

title = "Temporal Logic as Filtering",

author = "Dejan Nickovic and Alena Radionova and Ezio Bartocci and Radu Grosu",

year = "2016",

language = "English",

isbn = "978-1-4503-3955-1",

pages = "11--20",

booktitle = "HSCC 2016",

note = "International Conference on Hybrid Systems: Computation and Control, HSCC 2016 ; Conference date: 11-04-2016 Through 14-04-2016",

}

TY - GEN

T1 - Temporal Logic as Filtering

AU - Radionova, Alena

AU - Bartocci, Ezio

AU - Grosu, Radu

A2 - Nickovic, Dejan

PY - 2016

Y1 - 2016

M3 - Conference Proceedings with Oral Presentation

SN - 978-1-4503-3955-1

SP - 11

EP - 20

BT - HSCC 2016

T2 - International Conference on Hybrid Systems: Computation and Control, HSCC 2016

Y2 - 11 April 2016 through 14 April 2016

ER -