4 citations · 5 across the 9 of their papers we have counts for
1 paper · 2 filters
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski
Runtime monitoring is an essential part of guaranteeing the safety of cyber-physical systems. Recently, runtime monitoring frameworks based on formal specification languages gained…