4 citations · 8 across the 11 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018
On Nonnegative Integer Matrices and Short Killing Words
Stefan Kiefer, Corto Mascle
Let be a natural number and a set of -matrices over the nonnegative integers such that the joint spectral radius of is at most one. We s…
cs.FL2018
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
Corto Mascle, Daniel Neider, Maximilian Schwenger +3
Runtime monitoring is commonly used to detect the violation of desired properties in safety critical cyber-physical systems by observing its executions. Bauer et al. introduced an…