{"_id":"zQWmCp742GAZWp7RF","bibbaseid":"coruhlu-erdem-patoglu-aformalapproachtodiscrepancygenerationforsystematictestingofexecutionmonitoringalgorithmsinsimulation-2016","downloads":0,"creationDate":"2016-10-29T13:52:40.564Z","title":"A Formal Approach to Discrepancy Generation for Systematic Testing of Execution Monitoring Algorithms in Simulation","author_short":["Coruhlu, G.","Erdem, E.","Patoglu, V."],"year":2016,"bibtype":"inproceedings","biburl":"hmi.sabanciuniv.edu/patoglu_bib.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","booktitle":"IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR 2016)","author":[{"firstnames":["Gokay"],"propositions":[],"lastnames":["Coruhlu"],"suffixes":[]},{"firstnames":["Esra"],"propositions":[],"lastnames":["Erdem"],"suffixes":[]},{"firstnames":["Volkan"],"propositions":[],"lastnames":["Patoglu"],"suffixes":[]}],"title":"A Formal Approach to Discrepancy Generation for Systematic Testing of Execution Monitoring Algorithms in Simulation","year":"2016","bibtex":"@InProceedings{Coruhlu16,\n\tbooktitle = {IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR 2016)},\n\tauthor = {Gokay Coruhlu and Esra Erdem and Volkan Patoglu},\n\ttitle = {A Formal Approach to Discrepancy Generation for Systematic Testing of Execution Monitoring Algorithms in Simulation},\n\tyear = {2016},\n}\n\n","author_short":["Coruhlu, G.","Erdem, E.","Patoglu, V."],"key":"Coruhlu16","id":"Coruhlu16","bibbaseid":"coruhlu-erdem-patoglu-aformalapproachtodiscrepancygenerationforsystematictestingofexecutionmonitoringalgorithmsinsimulation-2016","role":"author","urls":{},"downloads":0,"html":"","metadata":{"authorlinks":{}}},"search_terms":["formal","approach","discrepancy","generation","systematic","testing","execution","monitoring","algorithms","simulation","coruhlu","erdem","patoglu"],"keywords":[],"authorIDs":["5456f7f58b01c819300000d0","GfdWunh44HLYRuQza","MP9bAvF8pCmjxySF9","ZCfxQcqrqpovnLFJe"],"dataSources":["g2mDMKihSyQjpNZsS"]}