A Rewriting Framework for Interacting Cyber-Physical Agents

von Lion, Benjamin
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 3: Adaptation and learning (2022)