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 (Speaker)
, Alexandre Donze
, Hisahiro Ito
, James Kapinski

Imagination Technologies

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

Original language	English
Title of host publication	Proceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.
Pages	57-66
Number of pages	10
Publication status	Published - 2019
Event	HSCC 2019 - Duration: 16 Apr 2019 → 18 Apr 2019

Conference

Conference	HSCC 2019
Period	16/04/19 → 18/04/19

Research Field

Dependable Systems Engineering

Cite this

@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 (Speaker); 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. p. 57-66.

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

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 -