2 citations · 2 across the 2 of their papers we have counts for
4 papers
Fast Falsification of Neural Networks using Property Directed Testing
Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik +1
Neural networks are now extensively used in perception, prediction and control of autonomous systems. Their deployment in safety-critical systems brings forth the need for verifica…
Machine Reasoning Explainability
Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik +5
As a field of AI, Machine Reasoning (MR) uses largely symbolic means to formalize and emulate abstract reasoning. Studies in early MR have notably started inquiries into Explainabl…
Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-physical Systems
Anshu Shukla, Swarup Kumar Mohalik, Ramamurthy Badrinath
Intelligent Cyber-physical systems can be modelled as multi-agent systems with planning capability to impart adaptivity for changing contexts. In such multi-agent systems, the prot…
Antifragility for Intelligent Autonomous Systems
Anusha Mujumdar, Swarup Kumar Mohalik, Ramamurthy Badrinath
Antifragile systems grow measurably better in the presence of hazards. This is in contrast to fragile systems which break down in the presence of hazards, robust systems that toler…