Practical controller synthesis for MTL0,∞

Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

OriginalsprogEngelsk
TitelSPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
Antal sider10
ForlagAssociation for Computing Machinery
Publikationsdato13 jul. 2017
Sider102-111
ISBN (Elektronisk)9781450350778
DOI
StatusUdgivet - 13 jul. 2017
Begivenhed24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, SPIN 2017 - Santa Barbara, USA
Varighed: 13 jul. 201714 jul. 2017

Konference

Konference24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, SPIN 2017
LandUSA
BySanta Barbara
Periode13/07/201714/07/2017
SponsorAppFolio, et al., Google, Microsoft, NSF, Stinger Ghaffarian Technologies

Fingerprint

Temporal logic
Controllers
Model checking
Scalability

Citer dette

Li, G., Jensen, P. G., Larsen, K. G., Legay, A., & Poulsen, D. B. (2017). Practical controller synthesis for MTL0,∞. I SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (s. 102-111). Association for Computing Machinery. https://doi.org/10.1145/3092282.3092303
Li, Guangyuan ; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand ; Legay, Axel ; Poulsen, Danny Bøgsted. / Practical controller synthesis for MTL0,∞. SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, 2017. s. 102-111
@inproceedings{6f5e1396fee549e9aa1c15cc1f949e9c,
title = "Practical controller synthesis for MTL0,∞",
keywords = "Controller synthesis, Metric Temporal Logic, Timed B{\"u}chi automata",
author = "Guangyuan Li and Jensen, {Peter Gj{\o}l} and Larsen, {Kim Guldstrand} and Axel Legay and Poulsen, {Danny B{\o}gsted}",
year = "2017",
month = "7",
day = "13",
doi = "10.1145/3092282.3092303",
language = "English",
pages = "102--111",
booktitle = "SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software",
publisher = "Association for Computing Machinery",
address = "United States",

}

Li, G, Jensen, PG, Larsen, KG, Legay, A & Poulsen, DB 2017, Practical controller synthesis for MTL0,∞. i SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, s. 102-111, Santa Barbara, USA, 13/07/2017. https://doi.org/10.1145/3092282.3092303

Practical controller synthesis for MTL0,∞. / Li, Guangyuan; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Legay, Axel; Poulsen, Danny Bøgsted.

SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, 2017. s. 102-111.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Practical controller synthesis for MTL0,∞

AU - Li, Guangyuan

AU - Jensen, Peter Gjøl

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Poulsen, Danny Bøgsted

PY - 2017/7/13

Y1 - 2017/7/13

KW - Controller synthesis

KW - Metric Temporal Logic

KW - Timed Büchi automata

UR - http://www.scopus.com/inward/record.url?scp=85027726187&partnerID=8YFLogxK

U2 - 10.1145/3092282.3092303

DO - 10.1145/3092282.3092303

M3 - Article in proceeding

SP - 102

EP - 111

BT - SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software

PB - Association for Computing Machinery

ER -

Li G, Jensen PG, Larsen KG, Legay A, Poulsen DB. Practical controller synthesis for MTL0,∞. I SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery. 2017. s. 102-111 https://doi.org/10.1145/3092282.3092303