3 papers
cs.DM2026
Eternal Vertex Cover Problem on Halin Graphs
Jasine Babu, Pratik Ghosal, Cipriyano Simoes
Eternal vertex cover problem is a graph protection problem which is a dynamic two player game variant of the classical vertex cover problem. In this game, the minimum number of gua…
cs.LO2025
A Correct by Construction Fault Tolerant Voter for Input Selection of a Control System
Arif Ali AP, Jasine Babu, Deepa Sara John
Safety-critical systems use redundant input units to improve their reliability and fault tolerance. A voting logic is then used to select a reliable input from the redundant source…
cs.DS2025
Color-Constrained Arborescences in Edge-Colored Digraphs
P. S. Ardra, Jasine Babu, R. Krithika +1
Given a multigraph whose edges are colored from the set (\emph{-colored graph}), and a vector (\emph{col…