Runtime Adaptor Synthesis for Autonomic Systems of Systems
Main Author: | Calinescu, R |
---|---|
Format: | Journal article |
Published: |
2010
|
Similar Items
-
Guardauto: a decentralized runtime protection system for autonomous driving
by: Cheng, Kun, et al.
Published: (2022) -
On verification and controller synthesis for probabilistic systems at runtime
by: Ujma, M
Published: (2015) -
Runtime verification for stochastic systems
by: Wilcox, Cristina M
Published: (2010) -
The JCilk-1 runtime system
by: Danaher, John (John Stephen)
Published: (2007) -
A categorization of runtime norm synthesis in normative multi-agent systems
by: Kadir, M. R. A., et al.
Published: (2019)