Towards a practical reachability test for dynamic systems under process faults.

Marcin Witczak, Jzef Korbicz, Michal de Rozprza-Faygel, Damiano Rotondo, Vicen Puig

Browse the full MMAR paper archive.