5 citations · 11 across the 3 of their papers we have counts for
3 papers
Trusted Neural Networks for Safety-Constrained Autonomous Control
Shalini Ghosh, Amaury Mercier, Dheeraj Pichapati +3
We propose Trusted Neural Network (TNN) models, which are deep neural network models that satisfy safety constraints critical to the application domain. We investigate different me…
Virus Detection in Multiplexed Nanowire Arrays using Hidden Semi-Markov models
Shalini Ghosh, Patrick Lincoln, Christian Petersen +1
In this paper, we address the problem of real-time detection of viruses docking to nanowires, especially when multiple viruses dock to the same nano-wire. The task becomes more com…
ARSENAL: Automatic Requirements Specification Extraction from Natural Language
Shalini Ghosh, Daniel Elenius, Wenchao Li +3
Requirements are informal and semi-formal descriptions of the expected behavior of a complex system from the viewpoints of its stakeholders (customers, users, operators, designers,…