Temporal Logic as Filtering

Dejan Nickovic (Vortragende:r), Alena Radionova, Ezio Bartocci, Radu Grosu

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	HSCC 2016
Seiten	11-20
Seitenumfang	10
Publikationsstatus	Veröffentlicht - 2016
Veranstaltung	International Conference on Hybrid Systems: Computation and Control, HSCC 2016 - Dauer: 11 Apr. 2016 → 14 Apr. 2016

Konferenz	International Conference on Hybrid Systems: Computation and Control, HSCC 2016
Zeitraum	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 -