title   
  

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

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

WarningThere is a more recent version of this item available.

[img]PDF - Repository staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
905Kb

Item Type:Papers in Conference Proceedings
Subjects:UNSPECIFIED
ID Code:30477
Deposited By:Esra Erdem
Deposited On:06 Nov 2016 15:32
Last Modified:11 Sep 2017 14:25

Available Versions of this Item

Repository Staff Only: item control page