{"id":"https://openalex.org/W2590306363","doi":"https://doi.org/10.1109/simpar.2016.7862377","title":"A formal approach to discrepancy generation for systematic testing of execution monitoring algorithms in simulation","display_name":"A formal approach to discrepancy generation for systematic testing of execution monitoring algorithms in simulation","publication_year":2016,"publication_date":"2016-12-01","ids":{"openalex":"https://openalex.org/W2590306363","doi":"https://doi.org/10.1109/simpar.2016.7862377","mag":"2590306363"},"language":"en","primary_location":{"id":"doi:10.1109/simpar.2016.7862377","is_oa":false,"landing_page_url":"https://doi.org/10.1109/simpar.2016.7862377","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079858472","display_name":"G\u00f6kay \u00c7oruhlu","orcid":"https://orcid.org/0000-0002-8821-6214"},"institutions":[{"id":"https://openalex.org/I134235054","display_name":"Sabanc\u0131 \u00dcniversitesi","ror":"https://ror.org/049asqa32","country_code":"TR","type":"education","lineage":["https://openalex.org/I134235054"]}],"countries":["TR"],"is_corresponding":true,"raw_author_name":"Gokay Coruhlu","raw_affiliation_strings":["Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey","institution_ids":["https://openalex.org/I134235054"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016455314","display_name":"Esra Erdem","orcid":"https://orcid.org/0000-0001-8384-7810"},"institutions":[{"id":"https://openalex.org/I134235054","display_name":"Sabanc\u0131 \u00dcniversitesi","ror":"https://ror.org/049asqa32","country_code":"TR","type":"education","lineage":["https://openalex.org/I134235054"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Esra Erdem","raw_affiliation_strings":["Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey","institution_ids":["https://openalex.org/I134235054"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017793258","display_name":"Volkan Pato\u011flu","orcid":"https://orcid.org/0000-0001-6644-3937"},"institutions":[{"id":"https://openalex.org/I134235054","display_name":"Sabanc\u0131 \u00dcniversitesi","ror":"https://ror.org/049asqa32","country_code":"TR","type":"education","lineage":["https://openalex.org/I134235054"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Volkan Patoglu","raw_affiliation_strings":["Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey","institution_ids":["https://openalex.org/I134235054"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5079858472"],"corresponding_institution_ids":["https://openalex.org/I134235054"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11616091,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"67","last_page":"74"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9991000294685364,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9991000294685364,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"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/T10142","display_name":"Formal Methods in Verification","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8063685297966003},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.7052583694458008},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5972686409950256},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5556094646453857},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.4732675552368164},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.45449936389923096},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4207116365432739},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3795144855976105},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.36827123165130615},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3252532184123993}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8063685297966003},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.7052583694458008},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5972686409950256},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5556094646453857},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.4732675552368164},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.45449936389923096},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4207116365432739},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3795144855976105},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.36827123165130615},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3252532184123993},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/simpar.2016.7862377","is_oa":false,"landing_page_url":"https://doi.org/10.1109/simpar.2016.7862377","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)","raw_type":"proceedings-article"},{"id":"pmh:oai:research.sabanciuniv.edu:30477","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402254","display_name":"Sabanci University","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I134235054","host_organization_name":"Sabanc\u0131 \u00dcniversitesi","host_organization_lineage":["https://openalex.org/I134235054"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:research.sabanciuniv.edu:33966","is_oa":false,"landing_page_url":"http://research.sabanciuniv.edu/33966/1/Gokay_SIMPAR_v24.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306402254","display_name":"Sabanci University","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I134235054","host_organization_name":"Sabanc\u0131 \u00dcniversitesi","host_organization_lineage":["https://openalex.org/I134235054"],"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":"PeerReviewed"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5799999833106995,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W3640929","https://openalex.org/W20930853","https://openalex.org/W46565623","https://openalex.org/W123976040","https://openalex.org/W1482532598","https://openalex.org/W1498546115","https://openalex.org/W1520214770","https://openalex.org/W1522168222","https://openalex.org/W1525843884","https://openalex.org/W1537235959","https://openalex.org/W1556913338","https://openalex.org/W1558755726","https://openalex.org/W1572969685","https://openalex.org/W1743342729","https://openalex.org/W1782386753","https://openalex.org/W2091138122","https://openalex.org/W2111428077","https://openalex.org/W2144033270","https://openalex.org/W2151200612","https://openalex.org/W2338756529","https://openalex.org/W3014250932","https://openalex.org/W6600142225","https://openalex.org/W6600814188","https://openalex.org/W6605030645","https://openalex.org/W6628817293","https://openalex.org/W6629690368","https://openalex.org/W6631161306","https://openalex.org/W6633474174","https://openalex.org/W6638013094","https://openalex.org/W6638147296","https://openalex.org/W6680986811","https://openalex.org/W6682284981","https://openalex.org/W6703758094","https://openalex.org/W6903373631"],"related_works":["https://openalex.org/W1508899372","https://openalex.org/W2012658348","https://openalex.org/W2039460805","https://openalex.org/W4250956039","https://openalex.org/W4240485100","https://openalex.org/W4254970379","https://openalex.org/W2056130799","https://openalex.org/W2045758229","https://openalex.org/W405964254","https://openalex.org/W2297646692"],"abstract_inverted_index":{"Successful":[0],"plan":[1,38,61,122],"generation":[2,117],"for":[3,115,140],"autonomous":[4,91],"systems":[5,67],"is":[6,97],"necessary":[7],"but":[8],"not":[9],"sufficient":[10],"to":[11,42,60,99,104,120],"guarantee":[12],"reach":[13],"a":[14,136],"goal":[15],"state":[16,29,33],"by":[17,126],"an":[18,156,162],"execution":[19,39,72,85,143,163],"of":[20,52,130,142,150,158,175],"the":[21,27,31,37,48,121,173],"plan,":[22],"since":[23],"various":[24],"discrepancies":[25,57],"between":[26],"expected":[28],"and":[30,55,95,103,125,133,170],"observed":[32],"may":[34,58],"occur":[35],"during":[36],"(e.g.,":[40],"due":[41],"unexpected":[43],"exogenous":[44],"events,":[45],"changes":[46],"in":[47,152,172],"goals,":[49],"or":[50],"failure":[51],"robot":[53],"parts)":[54],"these":[56,66],"lead":[59],"failures.":[62],"For":[63],"that":[64,76,146,166,180],"reason,":[65],"should":[68],"be":[69],"equipped":[70],"with":[71,118],"monitoring":[73,86,144,164],"algorithms":[74,87,145],"so":[75],"they":[77],"can":[78],"autonomously":[79],"recover":[80],"from":[81],"such":[82],"discrepancies.":[83],"Before":[84],"are":[88],"deployed":[89],"on":[90,161],"systems,":[92],"comprehensive":[93],"testing":[94,149],"simulation":[96,141],"needed":[98],"evaluate":[100],"their":[101,106],"performances":[102],"understand":[105],"applicability.":[107],"With":[108],"this":[109],"motivation,":[110],"we":[111,134],"introduce":[112],"formal":[113],"methods":[114,160],"discrepancy":[116],"respect":[119],"being":[123],"executed":[124],"utilizing":[127],"feasibility":[128],"checks":[129],"robotic":[131],"actions,":[132],"propose":[135],"novel":[137],"generic":[138],"algorithm":[139,165],"enables":[147],"systematic":[148],"them":[151],"simulation.":[153],"We":[154],"illustrate":[155],"application":[157],"our":[159],"involves":[167],"guided":[168],"replanning":[169],"diagnosis,":[171],"context":[174],"some":[176],"service":[177],"robotics":[178],"scenarios":[179],"utilize":[181],"multiple":[182],"bi-manual":[183],"mobile":[184],"manipulators.":[185]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}