Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control

Chen, Mingshuai (Corresponding author); Fränzle, Martin (Corresponding author); Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun

Berlin : Springer (2020, 2021)
Fachzeitschriftenartikel

In: Acta informatica
Band: 58
Heft: 5
Seite(n)/Artikel-Nr.: 497-528

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]