{"headerData":{"lastRefreshDate":"06 Jul 2026"},"publicationOverview":{"publication":{"id":"734F2038-04F0-4138-89EF-0518621A0DE0","resourceUrl":"http://gtr.ukri.org/api/publication/overview?outcomeid=5b9facad116be0.71857293&projectref=#grantRef#","outcomeId":"5b9facad116be0.71857293","title":"Slicing Agent Programs for more Efficient Verification","parentPublicationTitle":null,"authors":[{"id":"9724e3c7ebbd47b2f05995795b4d09c2","resourceUrl":"http://gtr.ukri.org/api/person/9724e3c7ebbd47b2f05995795b4d09c2","firstName":null,"otherNames":"Winikoff M","surname":null,"email":null,"orcidId":null,"displayName":"Winikoff M","fullName":"Winikoff M"}],"date":1514764800000,"digitalPublicationUrl":null,"pubMedId":null,"pubMedUrl":null,"isbn":null,"issn":null,"publicationUrl":"http://emas2018.dibris.unige.it/images/papers/EMAS18-07.pdf","abstractText":null,"volume":null,"issue":null,"totalPages":null,"edition":null,"chapterNumber":null,"chapterTitle":null,"pageRef":null,"series":null,"type":"Conference/Paper/Proceeding/Abstract","firstAuthorName":"Winikoff M","grantRef":null},"projects":[{"id":"7C51853F-8A88-4E4E-9A8A-BB15301BF092","resourceUrl":"http://gtr.ukri.org/projects?ref=EP/R026092/1","title":"Future AI and Robotics Hub for Space (FAIR-SPACE)","status":null,"grantReference":"EP/R026092/1","grantCategory":"Research Grant","abstractText":null,"potentialImpactText":null,"fund":{"valuePounds":8660006,"start":null,"end":null,"funder":{"id":"082B386F-6FF5-40C0-B99E-1B7F867318BE","resourceUrl":"http://gtr.ukri.org/api/organisation/082B386F-6FF5-40C0-B99E-1B7F867318BE","name":"ISCF"},"type":"INCOME_ACTUAL"},"output":null,"publications":null,"identifiers":null,"technicalSummary":null,"projectHierarchy":null,"studentshipHierarchy":null,"healthCategories":[],"researchActivities":[],"researchSubjects":[],"researchTopics":[],"rcukProgrammes":[],"hasClassifications":false}],"abstractSnippet":null}}