Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning
Book chapter (May 2023)
Software-Intensive Systems and New Computing Paradigms
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Engineering of Software-Intensive Systems: State of the Art and Research Challenges
-
Altmetric BadgeChapter 2 Software Engineering for Ensembles
-
Altmetric BadgeChapter 3 Change-Enabled Software Systems
-
Altmetric BadgeChapter 4 On the Challenge of Engineering Socio-technical Systems
-
Altmetric BadgeChapter 5 Design of Complex Cyber Physical Systems with Formalized Architectural Patterns
-
Altmetric BadgeChapter 6 Cyber-Physical Systems and Events
-
Altmetric BadgeChapter 7 Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts
-
Altmetric BadgeChapter 8 Formal Ensemble Engineering
-
Altmetric BadgeChapter 9 Structured Interacting Computations
-
Altmetric BadgeChapter 10 Extending Formal Methods for Software-Intensive Systems
-
Altmetric BadgeChapter 11 Ensemble Engineering and Emergence
-
Altmetric BadgeChapter 12 Mathematical Support for Ensemble Engineering
-
Altmetric BadgeChapter 13 Behaviour Equivalences in Timed Distributed π -Calculus
-
Altmetric BadgeChapter 14 The Chemical Reaction Model Recent Developments and Prospects
-
Altmetric BadgeChapter 15 Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems
-
Altmetric BadgeChapter 16 Emerging Models of Computation: Directions in Molecular Computing