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)
Journal Article

In: Acta informatica
Volume: 58
Issue: 5
Page(s)/Article-Nr.: 497-528


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]