32 citations · 45 across the 6 of their papers we have counts for
1 paper · 2 filters
Dogan Ulus, Calin Belta
This paper presents an application of specification based runtime verification techniques to control mobile robots in a reactive manner. In our case study, we develop a layered con…