activity
20162024
most citedAdvanced monitoring of rail breakage in double-track railway lines by means of PCA techniques

19 citations · 68 across the 13 of their papers we have counts for

collaborators
Showing 2021 · cs.LOShow all

1 paper · 2 filters

cs.LO2021

Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers

Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo +1

Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent real-time extensions of Linear Temporal Logic (LTL). In general, the satisfiability checking…