{"id":"https://openalex.org/W3120403074","doi":"https://doi.org/10.1109/tse.2021.3101818","title":"Combining Genetic Programming and Model Checking to Generate Environment Assumptions","display_name":"Combining Genetic Programming and Model Checking to Generate Environment Assumptions","publication_year":2021,"publication_date":"2021-08-04","ids":{"openalex":"https://openalex.org/W3120403074","doi":"https://doi.org/10.1109/tse.2021.3101818","mag":"3120403074"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2021.3101818","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2021.3101818","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2101.01933","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015680924","display_name":"Khouloud Gaaloul","orcid":"https://orcid.org/0000-0002-4156-9768"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Khouloud Gaaloul","raw_affiliation_strings":["University of Luxembourg, Esch-sur-Alzette, Luxembourg","University of Luxembourg"],"raw_orcid":"https://orcid.org/0000-0002-4156-9768","affiliations":[{"raw_affiliation_string":"University of Luxembourg, Esch-sur-Alzette, Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"University of Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018466538","display_name":"Claudio Menghi","orcid":"https://orcid.org/0000-0001-5303-8481"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Claudio Menghi","raw_affiliation_strings":["University of Luxembourg, Esch-sur-Alzette, Luxembourg","University of Luxembourg"],"raw_orcid":"https://orcid.org/0000-0001-5303-8481","affiliations":[{"raw_affiliation_string":"University of Luxembourg, Esch-sur-Alzette, Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"University of Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074393374","display_name":"Shiva Nejati","orcid":"https://orcid.org/0000-0002-0281-8231"},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Shiva Nejati","raw_affiliation_strings":["University of Ottawa, Ottawa, ON, Canada","University of Ottawa"],"raw_orcid":"https://orcid.org/0000-0002-0281-8231","affiliations":[{"raw_affiliation_string":"University of Ottawa, Ottawa, ON, Canada","institution_ids":["https://openalex.org/I153718931"]},{"raw_affiliation_string":"University of Ottawa","institution_ids":["https://openalex.org/I153718931"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078533117","display_name":"Lionel Briand","orcid":"https://orcid.org/0000-0002-1393-1010"},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Lionel C. Briand","raw_affiliation_strings":["University of Ottawa, Ottawa, ON, Canada","University of Ottawa"],"raw_orcid":"https://orcid.org/0000-0002-1393-1010","affiliations":[{"raw_affiliation_string":"University of Ottawa, Ottawa, ON, Canada","institution_ids":["https://openalex.org/I153718931"]},{"raw_affiliation_string":"University of Ottawa","institution_ids":["https://openalex.org/I153718931"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027758528","display_name":"Yago Isasi Parache","orcid":"https://orcid.org/0000-0002-2873-3076"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yago Isasi Parache","raw_affiliation_strings":["LuxSpace, Betzdorf, Luxembourg","SW section, LuxSpace, Betzdorf, Luxembourg, Luxembourg, (e-mail: isasi@luxspace.lu)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LuxSpace, Betzdorf, Luxembourg","institution_ids":[]},{"raw_affiliation_string":"SW section, LuxSpace, Betzdorf, Luxembourg, Luxembourg, (e-mail: isasi@luxspace.lu)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0143702,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"48","issue":"9","first_page":"3664","last_page":"3685"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11663","display_name":"Viral Infectious Diseases and Gene Expression in Insects","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7708133459091187},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7140381932258606},{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.6974543333053589},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.6230767965316772},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.6057363748550415},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5530717968940735},{"id":"https://openalex.org/keywords/genetic-programming","display_name":"Genetic programming","score":0.49791502952575684},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4515506327152252},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.43407705426216125},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3506956100463867},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.29342347383499146},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18056055903434753},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11496239900588989},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1017269492149353}],"concepts":[{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7708133459091187},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7140381932258606},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.6974543333053589},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6230767965316772},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.6057363748550415},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5530717968940735},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.49791502952575684},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4515506327152252},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43407705426216125},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3506956100463867},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.29342347383499146},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18056055903434753},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11496239900588989},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1017269492149353},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/tse.2021.3101818","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2021.3101818","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2101.01933","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2101.01933","pdf_url":"https://arxiv.org/pdf/2101.01933","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:orbilu.uni.lu:10993/47740","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/47740","pdf_url":"http://orbilu.uni.lu/handle/10993/47740","source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Software Engineering (2022-09)","raw_type":"http://purl.org/coar/resource_type/c_6501"},{"id":"mag:3120403074","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2101.01933.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2101.01933","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2101.01933","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2101.01933","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2101.01933","pdf_url":"https://arxiv.org/pdf/2101.01933","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3308566425","display_name":null,"funder_award_id":"694277","funder_id":"https://openalex.org/F4320337662","funder_display_name":"H2020 Excellent Science"},{"id":"https://openalex.org/G3389925525","display_name":null,"funder_award_id":"BRIDGES18/IS/12632261","funder_id":"https://openalex.org/F4320321038","funder_display_name":"Fonds National de la Recherche Luxembourg"}],"funders":[{"id":"https://openalex.org/F4320321038","display_name":"Fonds National de la Recherche Luxembourg","ror":"https://ror.org/039z13y21"},{"id":"https://openalex.org/F4320321487","display_name":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320337662","display_name":"H2020 Excellent Science","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":98,"referenced_works":["https://openalex.org/W10653132","https://openalex.org/W145069693","https://openalex.org/W333120556","https://openalex.org/W1480909796","https://openalex.org/W1483736078","https://openalex.org/W1488659932","https://openalex.org/W1498946538","https://openalex.org/W1514415280","https://openalex.org/W1523998349","https://openalex.org/W1542000206","https://openalex.org/W1547304883","https://openalex.org/W1547364372","https://openalex.org/W1576818901","https://openalex.org/W1756169151","https://openalex.org/W1799055964","https://openalex.org/W1801993675","https://openalex.org/W1963560067","https://openalex.org/W1977321274","https://openalex.org/W1979349468","https://openalex.org/W1981359558","https://openalex.org/W1990297162","https://openalex.org/W1991698050","https://openalex.org/W1994901326","https://openalex.org/W2001091950","https://openalex.org/W2024352272","https://openalex.org/W2026629052","https://openalex.org/W2027649639","https://openalex.org/W2044653231","https://openalex.org/W2045002843","https://openalex.org/W2054018676","https://openalex.org/W2055076627","https://openalex.org/W2059057465","https://openalex.org/W2074740390","https://openalex.org/W2077099824","https://openalex.org/W2094954730","https://openalex.org/W2098039922","https://openalex.org/W2109525524","https://openalex.org/W2110908283","https://openalex.org/W2131399618","https://openalex.org/W2149236697","https://openalex.org/W2151884010","https://openalex.org/W2153024173","https://openalex.org/W2153649445","https://openalex.org/W2169134334","https://openalex.org/W2176215692","https://openalex.org/W2185676247","https://openalex.org/W2212897651","https://openalex.org/W2293287097","https://openalex.org/W2407173565","https://openalex.org/W2509841691","https://openalex.org/W2511988939","https://openalex.org/W2730591385","https://openalex.org/W2760713280","https://openalex.org/W2796049347","https://openalex.org/W2895553469","https://openalex.org/W2943310196","https://openalex.org/W2948911651","https://openalex.org/W2953044743","https://openalex.org/W2955699751","https://openalex.org/W2956034981","https://openalex.org/W2962927158","https://openalex.org/W2963516601","https://openalex.org/W2966914448","https://openalex.org/W2967844381","https://openalex.org/W2990661835","https://openalex.org/W2990972766","https://openalex.org/W2999818223","https://openalex.org/W3010737172","https://openalex.org/W3013485749","https://openalex.org/W3039265983","https://openalex.org/W3041931538","https://openalex.org/W3046012684","https://openalex.org/W3047097081","https://openalex.org/W3083145006","https://openalex.org/W3085399729","https://openalex.org/W3088182729","https://openalex.org/W3089624132","https://openalex.org/W3092311360","https://openalex.org/W3105178636","https://openalex.org/W3109358524","https://openalex.org/W3112265777","https://openalex.org/W3128718496","https://openalex.org/W3154370202","https://openalex.org/W3161324927","https://openalex.org/W3171619998","https://openalex.org/W4229675450","https://openalex.org/W4230839296","https://openalex.org/W4238753141","https://openalex.org/W4244728546","https://openalex.org/W4253196470","https://openalex.org/W6611393023","https://openalex.org/W6628997590","https://openalex.org/W6638224098","https://openalex.org/W6650784859","https://openalex.org/W6713704138","https://openalex.org/W6766198797","https://openalex.org/W6782836652","https://openalex.org/W6786462268"],"related_works":["https://openalex.org/W3188410362","https://openalex.org/W2104254326","https://openalex.org/W2963017616","https://openalex.org/W1498557354","https://openalex.org/W2062225942","https://openalex.org/W3047267560","https://openalex.org/W2221647873","https://openalex.org/W3027624373","https://openalex.org/W2314322419","https://openalex.org/W3098104155","https://openalex.org/W2247346057","https://openalex.org/W3088095493","https://openalex.org/W2587401511","https://openalex.org/W2133190685","https://openalex.org/W2990320418","https://openalex.org/W2781363417","https://openalex.org/W2268437379","https://openalex.org/W2289390140","https://openalex.org/W2041079668","https://openalex.org/W2341564785"],"abstract_inverted_index":{"Software":[0],"verification":[1],"may":[2],"yield":[3],"spurious":[4],"failures":[5],"when":[6,165],"environment":[7,28,55,104],"assumptions":[8,14,56,73,86,105,159,178,185],"are":[9,15,30,180],"not":[10],"accounted":[11],"for.":[12],"Environment":[13],"the":[16,38,64,84,97,108,184],"expectations":[17],"that":[18,41,151,179],"a":[19,22,124,135,138,144],"system":[20,42,141,146],"or":[21,43],"component":[23,136],"makes":[24],"about":[25],"its":[26],"operational":[27],"and":[29,80,101,106,134,163],"often":[31],"specified":[32],"in":[33,66,113],"terms":[34],"of":[35,40,103,110,116,128,137,192],"conditions":[36],"over":[37,91],"inputs":[39],"component.":[44],"In":[45],"this":[46],"article,":[47],"we":[48,71,95],"propose":[49],"an":[50],"approach":[51,62,112,122,153,173],"to":[52,167,176,183,190],"automatically":[53],"infer":[54],"for":[57,74,160],"Cyber-Physical":[58],"Systems":[59],"(CPS).":[60],"Our":[61],"improves":[63],"state-of-the-art":[65,155],"three":[67],"different":[68],"ways:":[69],"First,":[70],"learn":[72,177],"complex":[75],"CPS":[76,129,161,170],"models":[77,130],"involving":[78],"signal":[79],"numeric":[81],"variables;":[82,93],"second,":[83],"learned":[85],"include":[87],"arithmetic":[88],"expressions":[89],"defined":[90],"multiple":[92],"third,":[94],"identify":[96],"trade-off":[98],"between":[99],"soundness":[100],"coverage":[102],"demonstrate":[107],"flexibility":[109],"our":[111,121,152,168,172],"prioritizing":[114],"either":[115],"these":[117],"criteria.":[118],"We":[119],"evaluate":[120],"using":[123],"public":[125],"domain":[126],"benchmark":[127],"from":[131,142],"Lockheed":[132],"Martin":[133],"satellite":[139,145],"control":[140],"LuxSpace,":[143],"provider.":[147],"The":[148],"results":[149],"show":[150],"outperforms":[154],"techniques":[156],"on":[157],"learning":[158],"models,":[162],"further,":[164],"applied":[166],"industrial":[169],"model,":[171],"is":[174],"able":[175],"sufficiently":[181],"close":[182],"manually":[186],"developed":[187],"by":[188],"engineers":[189],"be":[191],"practical":[193],"value.":[194]},"counts_by_year":[],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}