Paper at FTSCS 2018

The paper entitled “Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees” by Liana Mikaelyan, Sascha Müller, Andreas Gerndt and Thomas Noll has been accepted at the 6th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2018) at Gold Coast, Australia. The key idea of the paper is to synthesize failure recovery strategies for satellites from Dynamic Fault Trees, and to optimize them by means of automata-theoretic methods.