Swarup Kumar Mohalik

Intent-driven Closed Loops for Autonomous Networks

Jörg Niemöller, Pedro Henrique Gomes, János Harmatos, 2021, J. ICT Stand..

Fast Falsification of Neural Networks using Property Directed Testing pdf

Ansuman Banerjee, Rajarshi Ray, Swarup Kumar Mohalik, 2021, ArXiv.

Service Selection with Package Bundles and Compatibility Constraints

Ansuman Banerjee, Kaustabha Ray, Swarup Kumar Mohalik, 2021 .

FlatPack: flexible temporal planning with verification and controller synthesis

Ajay Kattepur, Swarup Kumar Mohalik, A. Kattepur, 2021, SAC.

HAMMER: Multi-Level Coordination of Reinforcement Learning Agents via Learned Messaging pdf

Matthew E. Taylor, Nikunj Gupta, G Srinivasaraghavan, 2021, ArXiv.

Semantic Views for Controlled Access to the Semantic Web

Geetha Manjunath, Dave Reynolds, Malena Mesarina, 2008 .