A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates

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

Originalsprache	Englisch
Titel	2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018
Seiten	2384-2391
Seitenumfang	8
Publikationsstatus	Veröffentlicht - 2018
Veranstaltung	ACC 2018 - Dauer: 27 Juni 2018 → 29 Juni 2018

Konferenz	ACC 2018
Zeitraum	27/06/18 → 29/06/18

Research Field

@inproceedings{1f52d7cba8094c1ea89c492dc98b9cb6,

title = "A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates",

author = "Goran Frehse and Nikolaos Kekatos and Dejan Nickovic and Jens Oehlerking and Simone Schuler and Matthias Woehrle",

year = "2018",

language = "English",

isbn = "978-1-5386-5428-6",

pages = "2384--2391",

booktitle = "2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018",

note = "ACC 2018 ; Conference date: 27-06-2018 Through 29-06-2018",

}

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. / Frehse, Goran; Kekatos, Nikolaos (Vortragende:r); Nickovic, Dejan et al.
2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018. 2018. S. 2384-2391.

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

TY - GEN

T1 - A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates

AU - Frehse, Goran

AU - Nickovic, Dejan

AU - Oehlerking, Jens

AU - Schuler, Simone

AU - Woehrle, Matthias

A2 - Kekatos, Nikolaos

PY - 2018

Y1 - 2018

M3 - Conference Proceedings with Oral Presentation

SN - 978-1-5386-5428-6

SP - 2384

EP - 2391

BT - 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018

T2 - ACC 2018

Y2 - 27 June 2018 through 29 June 2018

ER -