2 papers
cs.LG2024
SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
Vignesh Sivaramakrishnan, Krishna C. Kalagarla, Rosalyn Devonport +3
We present a neural network verification toolbox to 1) assess the probability of satisfaction of a constraint, and 2) synthesize a set expansion factor to achieve the probability o…
eess.SY2024
Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes
Krishna C. Kalagarla, Matthew Low, Rahul Jain +2
Designing control policies for large, distributed systems is challenging, especially in the context of critical, temporal logic based specifications (e.g., safety) that must be met…