Çoruhlu, Gökay and Erdem, Esra and Patoğlu, Volkan (2016) A formal approach to discrepancy generation for systematic testing of execution monitoring algorithms in simulation. In: IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), San Francisco, CA, USA (Accepted/In Press)
There is a more recent version of this item available.
![[thumbnail of Gokay_SIMPAR_v24.pdf]](https://research.sabanciuniv.edu/style/images/fileicons/application_pdf.png)
PDF
Gokay_SIMPAR_v24.pdf
Restricted to Repository staff only
Download (927kB) | Request a copy
| Item Type: | Papers in Conference Proceedings |
|---|---|
| Divisions: | Faculty of Engineering and Natural Sciences > Academic programs > Mechatronics Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng. Faculty of Engineering and Natural Sciences |
| Depositing User: | Esra Erdem |
| Date Deposited: | 06 Nov 2016 15:32 |
| Last Modified: | 26 Apr 2022 09:24 |
| URI: | https://research.sabanciuniv.edu/id/eprint/30477 |
Available Versions of this Item
- A formal approach to discrepancy generation for systematic testing of execution monitoring algorithms in simulation. (deposited 06 Nov 2016 15:32) [Currently Displayed]
Actions (login required)
- View Item