Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems.

Jan Reich, Daniel Schneider

Browse the full SAFECOMP paper archive.