Secondment piece
Research Stay in Beijing on Autonomous Systems
What the 2025 stay at the Institute of Software added to my thinking on uncertainty modelling, strategy synthesis, and dependable cyber-physical systems.
8 Apr 2025 - 7 May 2025Brief
BeijingAutonomous SystemsStrategy Synthesis
Key points
A short piece on the assumptions, modeling choices, and practical relevance behind this topic.
- Autonomous-systems discussions pushed the work beyond abstract modelling toward deployment constraints.
- Uncertainty modelling became more concrete when tied to strategy synthesis rather than treated as a generic formal-methods topic.
- The stay broadened the MISSION collaboration into a stronger dependable-CPS research thread.