32 citations · 45 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.RO2019
Reactive Control Meets Runtime Verification: A Case Study of Navigation
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…
cs.LO2019★ 8 cited
Online Monitoring of Metric Temporal Logic using Sequential Networks
Dogan Ulus
Metric Temporal Logic (MTL) is a popular formalism to specify temporal patterns with timing constraints over the behavior of cyber-physical systems with application areas ranging i…