A formal approach to discrepancy generation for systematic testing of execution monitoring algorithms in simulation

The system is temporarily closed to updates for reporting purpose.

Ç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.

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]
- A formal approach to discrepancy generation for systematic testing of execution monitoring algorithms in simulation. (deposited 11 Sep 2017 14:25)

Actions (login required)

: View Item