Efficient Controller Synthesis for a Fragment of MTL(0,∞)

Petr Bulychev^*, Alexandre David, Kim G. Larsen, Guangyuan Li

^*Kontaktforfatter

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

6 Citationer (Scopus)

Adgang til dokumentet

@article{bf3a2e1a5c9a47eb807d80b8fcf62499,

title = "Efficient Controller Synthesis for a Fragment of MTL(0,∞)",

author = "Petr Bulychev and Alexandre David and Larsen, {Kim G.} and Guangyuan Li",

year = "2014",

month = jan,

day = "1",

doi = "10.1007/s00236-013-0189-z",

language = "English",

volume = "51",

pages = "165--192",

journal = "Acta Informatica",

issn = "0001-5903",

publisher = "Physica-Verlag",

number = "3-4",

}

TY - JOUR

T1 - Efficient Controller Synthesis for a Fragment of MTL(0,∞)

AU - Bulychev, Petr

AU - David, Alexandre

AU - Larsen, Kim G.

AU - Li, Guangyuan

PY - 2014/1/1

Y1 - 2014/1/1

U2 - 10.1007/s00236-013-0189-z

DO - 10.1007/s00236-013-0189-z

M3 - Journal article

AN - SCOPUS:84900840367

SN - 0001-5903

VL - 51

SP - 165

EP - 192

JO - Acta Informatica

JF - Acta Informatica

IS - 3-4

ER -