par Sankur, Ocan
Référence Lecture notes in computer science, 9035, page (484-498)
Publication Publié, 2015
Article révisé par les pairs
Résumé : We study the robust safety problem for timed automata under guard imprecisions which consists in computing an imprecision parameter under which a safety specification holds. We give a symbolic semi-algorithm for the problem based on a parametric data structure, and evaluate its performance in comparison with a recently published one, and with a binary search on enlargement values.

Documents en relation

DI-fusion