Multidirectional Modular Conditional Safety Certificates.

Tiago Amorim, Alejandra Ruiz, Christoph Dropmann, Daniel Schneider

Browse the full SAFECOMP paper archive.