{"id":"https://openalex.org/W3164490100","doi":"https://doi.org/10.1007/s10009-021-00623-1","title":"Neural predictive monitoring and a comparison of frequentist and Bayesian approaches","display_name":"Neural predictive monitoring and a comparison of frequentist and Bayesian approaches","publication_year":2021,"publication_date":"2021-05-24","ids":{"openalex":"https://openalex.org/W3164490100","doi":"https://doi.org/10.1007/s10009-021-00623-1","mag":"3164490100"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-021-00623-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-021-00623-1","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/s10009-021-00623-1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060744592","display_name":"Luca Bortolussi","orcid":"https://orcid.org/0000-0001-8874-4001"},"institutions":[{"id":"https://openalex.org/I142444530","display_name":"University of Trieste","ror":"https://ror.org/02n742c10","country_code":"IT","type":"education","lineage":["https://openalex.org/I142444530"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Bortolussi","raw_affiliation_strings":["Department of Mathematics and Geosciences, Universit\u00e0 di Trieste, Trieste, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Geosciences, Universit\u00e0 di Trieste, Trieste, Italy","institution_ids":["https://openalex.org/I142444530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000007208","display_name":"Francesca Cairoli","orcid":"https://orcid.org/0000-0002-6994-6553"},"institutions":[{"id":"https://openalex.org/I142444530","display_name":"University of Trieste","ror":"https://ror.org/02n742c10","country_code":"IT","type":"education","lineage":["https://openalex.org/I142444530"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesca Cairoli","raw_affiliation_strings":["Department of Mathematics and Geosciences, Universit\u00e0 di Trieste, Trieste, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Geosciences, Universit\u00e0 di Trieste, Trieste, Italy","institution_ids":["https://openalex.org/I142444530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016140478","display_name":"Nicola Paoletti","orcid":"https://orcid.org/0000-0002-4723-5363"},"institutions":[{"id":"https://openalex.org/I184558857","display_name":"Royal Holloway University of London","ror":"https://ror.org/04g2vpn86","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I184558857"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Nicola Paoletti","raw_affiliation_strings":["Department of Computer Science, Royal Holloway, University of London, London, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Royal Holloway, University of London, London, UK","institution_ids":["https://openalex.org/I184558857"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039202410","display_name":"Scott A. Smolka","orcid":"https://orcid.org/0000-0002-7348-630X"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott A. Smolka","raw_affiliation_strings":["Department of Computer Science, Stony Brook University, New York, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Stony Brook University, New York, USA","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021474885","display_name":"Scott D. Stoller","orcid":"https://orcid.org/0000-0002-8824-6835"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott D. Stoller","raw_affiliation_strings":["Department of Computer Science, Stony Brook University, New York, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Stony Brook University, New York, USA","institution_ids":["https://openalex.org/I59553526"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5016140478"],"corresponding_institution_ids":["https://openalex.org/I184558857"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":2.2397,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.89854338,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"23","issue":"4","first_page":"615","last_page":"640"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9994999766349792,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9994999766349792,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9987000226974487,"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/T11948","display_name":"Machine Learning in Materials Science","score":0.9911999702453613,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/frequentist-inference","display_name":"Frequentist inference","score":0.8931620121002197},{"id":"https://openalex.org/keywords/hyperparameter","display_name":"Hyperparameter","score":0.7775081396102905},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7386204600334167},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6467323899269104},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.6418124437332153},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6269005537033081},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5865017771720886},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5216848850250244},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.47037023305892944},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3903530538082123},{"id":"https://openalex.org/keywords/bayesian-inference","display_name":"Bayesian inference","score":0.2898476719856262}],"concepts":[{"id":"https://openalex.org/C162376815","wikidata":"https://www.wikidata.org/wiki/Q2158281","display_name":"Frequentist inference","level":4,"score":0.8931620121002197},{"id":"https://openalex.org/C8642999","wikidata":"https://www.wikidata.org/wiki/Q4171168","display_name":"Hyperparameter","level":2,"score":0.7775081396102905},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7386204600334167},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6467323899269104},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.6418124437332153},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6269005537033081},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5865017771720886},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5216848850250244},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.47037023305892944},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3903530538082123},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.2898476719856262},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10009-021-00623-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-021-00623-1","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"pmh:oai:arts.units.it:11368/2998175","is_oa":true,"landing_page_url":"https://link.springer.com/article/10.1007/s10009-021-00623-1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400480","display_name":"ArTS Archivio della ricerca di Trieste (University of Trieste https://www.units.it/)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I142444530","host_organization_name":"University of Trieste","host_organization_lineage":["https://openalex.org/I142444530"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10009-021-00623-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-021-00623-1","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W107465220","https://openalex.org/W172589331","https://openalex.org/W189973795","https://openalex.org/W584332710","https://openalex.org/W828139470","https://openalex.org/W1460189015","https://openalex.org/W1516111018","https://openalex.org/W1521746852","https://openalex.org/W1553101044","https://openalex.org/W1555708985","https://openalex.org/W1663973292","https://openalex.org/W1746819321","https://openalex.org/W1929200301","https://openalex.org/W1988645907","https://openalex.org/W2033455284","https://openalex.org/W2057847320","https://openalex.org/W2085838366","https://openalex.org/W2102608190","https://openalex.org/W2111051539","https://openalex.org/W2117112756","https://openalex.org/W2137983211","https://openalex.org/W2156093990","https://openalex.org/W2157413433","https://openalex.org/W2164090329","https://openalex.org/W2166280160","https://openalex.org/W2171585602","https://openalex.org/W2536062280","https://openalex.org/W2539792571","https://openalex.org/W2576277975","https://openalex.org/W2604870593","https://openalex.org/W2620760558","https://openalex.org/W2622471727","https://openalex.org/W2626967530","https://openalex.org/W2733853878","https://openalex.org/W2753594008","https://openalex.org/W2766736793","https://openalex.org/W2785700716","https://openalex.org/W2785931971","https://openalex.org/W2791796486","https://openalex.org/W2888704319","https://openalex.org/W2900312696","https://openalex.org/W2919694184","https://openalex.org/W2938769851","https://openalex.org/W2951786554","https://openalex.org/W2953213934","https://openalex.org/W2953384591","https://openalex.org/W2954040150","https://openalex.org/W2964130946","https://openalex.org/W2964321317","https://openalex.org/W2970971581","https://openalex.org/W2973676289","https://openalex.org/W2977953926","https://openalex.org/W2978096846","https://openalex.org/W2978287595","https://openalex.org/W2982535830","https://openalex.org/W2996489182","https://openalex.org/W3016340462","https://openalex.org/W3098560806","https://openalex.org/W3146803896","https://openalex.org/W4211049957","https://openalex.org/W6713134421","https://openalex.org/W6771982476","https://openalex.org/W6813542777"],"related_works":["https://openalex.org/W2077878098","https://openalex.org/W1506744765","https://openalex.org/W2944091050","https://openalex.org/W2998817056","https://openalex.org/W2904258669","https://openalex.org/W4313815718","https://openalex.org/W996380913","https://openalex.org/W2024084279","https://openalex.org/W2920185967","https://openalex.org/W2921837939"],"abstract_inverted_index":{"Abstract":[0],"Neural":[1],"state":[2,36,43],"classification":[3],"(NSC)":[4],"is":[5,44,219],"a":[6,25,49,86,194,223],"recently":[7],"proposed":[8],"method":[9,124],"for":[10,103],"runtime":[11],"predictive":[12,83,96],"monitoring":[13,84],"of":[14,94,106,136,143,150,174,197,228],"hybrid":[15,199],"automata":[16],"(HA)":[17],"using":[18],"deep":[19],"neural":[20,82],"networks":[21],"(DNNs).":[22],"NSC":[23,59,90,129],"trains":[24],"DNN":[26],"as":[27,38,56],"an":[28,34,41,121],"approximate":[29],"reachability":[30,116],"predictor":[31,158],"that":[32,71,88,125,203,215],"labels":[33,54],"HA":[35],"x":[37,47,55],"positive":[39],"if":[40],"unsafe":[42],"reachable":[45],"from":[46],"within":[48],"given":[50],"time":[51],"bound,":[52],"and":[53,133,152,159,176,225],"negative":[57],"otherwise.":[58],"predictors":[60],"have":[61],"very":[62],"high":[63],"accuracy,":[64],"yet":[65],"are":[66,165],"prone":[67],"to":[68,109,155,183],"prediction":[69],"errors":[70],"can":[72],"negatively":[73],"impact":[74],"reliability.":[75],"To":[76],"overcome":[77],"this":[78],"limitation,":[79],"we":[80,201],"present":[81,120],"(NPM),":[85],"technique":[87],"complements":[89],"predictions":[91,107],"with":[92,168],"estimates":[93],"the":[95,104,114,128,134,148,157,160,172,204,209,216],"uncertainty.":[97],"These":[98],"measures":[99],"yield":[100],"principled":[101],"criteria":[102],"rejection":[105,161],"likely":[108],"be":[110],"incorrect,":[111],"without":[112],"knowing":[113],"true":[115],"values.":[117],"We":[118,139,212],"also":[119,213],"active":[122],"learning":[123],"significantly":[126],"reduces":[127],"predictor\u2019s":[130],"error":[131],"rate":[132],"percentage":[135],"rejected":[137],"predictions.":[138,189],"develop":[140],"two":[141],"versions":[142,164],"NPM":[144],"based,":[145],"respectively,":[146],"on":[147,171,193],"use":[149],"frequentist":[151,205],"Bayesian":[153,210,217],"techniques":[154],"learn":[156],"rule.":[162],"Both":[163],"highly":[166],"efficient,":[167],"computation":[169],"times":[170],"order":[173],"milliseconds,":[175],"effective,":[177],"managing":[178],"in":[179],"our":[180,191],"experimental":[181],"evaluation":[182],"successfully":[184],"reject":[185],"almost":[186],"all":[187],"incorrect":[188],"In":[190],"experiments":[192],"benchmark":[195],"suite":[196],"six":[198],"systems,":[200],"found":[202],"approach":[206,218],"consistently":[207],"outperforms":[208],"one.":[211],"observed":[214],"less":[220],"practical,":[221],"requiring":[222],"careful":[224],"problem-specific":[226],"choice":[227],"hyperparameters.":[229]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":3}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}