s are provided in St Appendix. ACKNOWLEDGMENTS. This work was supported by the European Research Council Start Grant 279307 Graph Games (to K.C.), Austrian Science Fund (FWF) Gram P23499-N23 (to K.C.), FWF Nationale Forschungsnetzerke Grant S110074123 Rigorous Systems Engineering/Systematic Methods in Systems Engi

idoLorgf 10.6084fm9.figshare.6323240.v1. Acknowledgements A.P.. I.T.. and K.C. acknowledge support from ERG Stan (grant no. 279307: Graph Games). Austrian Science Fund (EWE) grant nos. P23499.N23 and SI1407-N23 (RLSE). MAN. acknowledges support from Office of Naval Research grant N00014.16.1.2914 and from the John