Self-adaptive Software with Decentralised Control Loops
- 1 January 2015
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Verifying autonomous systemsCommunications of the ACM, 2013
- Introduction to Autonomy for Marine RobotsPublished by Springer Science and Business Media LLC ,2012
- Self-adaptive software needs quantitative verification at runtimeCommunications of the ACM, 2012
- FORMSACM Transactions on Autonomous and Adaptive Systems, 2012
- PRISM 4.0: Verification of Probabilistic Real-Time SystemsLecture Notes in Computer Science, 2011
- Quantitative Multi-objective Verification for Probabilistic SystemsLecture Notes in Computer Science, 2011
- Multi-objective Model Checking of Markov Decision ProcessesPublished by Springer Science and Business Media LLC ,2007
- Self-organization in multi-agent systemsThe Knowledge Engineering Review, 2005
- The Multiple-Choice Knapsack ProblemPublished by Springer Science and Business Media LLC ,2004
- The vision of autonomic computingComputer, 2003