3 citations · 5 across the 11 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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{color-…