Wohlrab, Rebekka http://orcid.org/0000-0002-5449-7900
Garlan, David
Funding for this research was provided by:
knut och alice wallenbergs stiftelse (Wallenberg AI, Autonomous Systems and Software Program (WASP))
office of naval research (N00014172899)
national security agency (H9823018D000)
Article History
Received: 14 June 2021
Accepted: 24 November 2021
First Online: 11 January 2022