Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Policy Change for Treelike Monitors
François Hublet, Dhruv Nevatia, Joshua Schneider
We study the policy change problem that arises in the runtime verification of long-running systems. The online monitors typically used in this context are generally treelike, in th…
cs.LO2023
An Automata Theoretic Characterization of Weighted First-Order Logic
Dhruv Nevatia, Benjamin Monmege
Since the 1970s with the work of McNaughton, Papert and Schützenberger, a regular language is known to be definable in the first-order logic if and only if its syntactic monoid is…
cs.LO2021
An Algebraic Characterisation of First-Order Logic with Neighbour
Amaldev Manuel, Dhruv Nevatia
We give an algebraic characterisation of first-order logic with the neighbour relation, on finite words. For this, we consider languages of finite words over alphabets with an invo…