AIRCRAFT CONFLICT DETECTION AND RESOLUTION Application EP-4300466-A1 European Patent Office 03 Jan 2024
MONITORING AND VERIFYING SAFETY OF AT LEAST ONE AUTOMATION COMPONENT Application WO-2021249633-A1 World Intellectual Property Organisation (WIPO) 16 Dec 2021
METHOD FOR PROVING OR IDENTIFYING COUNTER-EXAMPLES IN NEURAL NETWORKS SYSTEMS THAT… Application WO-2021178009-A1 World Intellectual Property Organisation (WIPO) 10 Sep 2021
AUTOMATIC GENERATION OF IMAGES SATISFYING SPECIFIED NEURAL NETWORK CLASSIFIER PROPERTIES Application WO-2020091893-A1 World Intellectual Property Organisation (WIPO) 07 May 2020