Interface-aware signal temporal logic

Thomas Ferrère; Dejan Nickovic; Alexandre Donze; Hisahiro Ito; James Kapinski

Interface-aware signal temporal logic

Thomas Ferrère
, Dejan Nickovic (Vortragende:r)
, Alexandre Donze
, Hisahiro Ito
, James Kapinski

Imagination Technologies

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

Originalsprache	Englisch
Titel	Proceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.
Seiten	57-66
Seitenumfang	10
Publikationsstatus	Veröffentlicht - 2019
Veranstaltung	HSCC 2019 - Dauer: 16 Apr. 2019 → 18 Apr. 2019

Konferenz

Konferenz	HSCC 2019
Zeitraum	16/04/19 → 18/04/19

Research Field

Dependable Systems Engineering

Diese Publikation zitieren

@inproceedings{0192c22ee1954f319b4b6ba1039cc69e,

title = "Interface-aware signal temporal logic",

author = "Thomas Ferr{\`e}re and Dejan Nickovic and Alexandre Donze and Hisahiro Ito and James Kapinski",

year = "2019",

language = "English",

isbn = "978-1-4503-6282-5",

pages = "57--66",

booktitle = "Proceedings of the 22nd \{ACM\} International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.",

note = "HSCC 2019 ; Conference date: 16-04-2019 Through 18-04-2019",

}

Interface-aware signal temporal logic. / Ferrère, Thomas; Nickovic, Dejan (Vortragende:r); Donze, Alexandre et al.
Proceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.. 2019. S. 57-66.

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

TY - GEN

T1 - Interface-aware signal temporal logic

AU - Ferrère, Thomas

AU - Donze, Alexandre

AU - Ito, Hisahiro

AU - Kapinski, James

A2 - Nickovic, Dejan

PY - 2019

Y1 - 2019

M3 - Conference Proceedings with Oral Presentation

SN - 978-1-4503-6282-5

SP - 57

EP - 66

BT - Proceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.

T2 - HSCC 2019

Y2 - 16 April 2019 through 18 April 2019

ER -