53 citations · 232 across the 44 of their papers we have counts for
5 papers · 1 filter
Box algorithm for the solution of differential equations on a quantum annealer
Siddhartha Srivastava, Veera Sundararaghavan
Differential equations are ubiquitous in models of physical phenomena. Applications like steady-state analysis of heat flow and deflection in elastic bars often admit to a second o…
Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms
Yi Wu, Siddharth Srivastava, Nicholas Hay +2
Despite the recent successes of probabilistic programming languages (PPLs) in AI applications, PPLs offer only limited support for random variables whose distributions combine disc…
Hierarchical Expertise-Level Modeling for User Specific Robot-Behavior Explanations
Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati
There is a growing interest within the AI research community to develop autonomous systems capable of explaining their behavior to users. One aspect of the explanation generation p…
An Anytime Algorithm for Task and Motion MDPs
Siddharth Srivastava, Nishant Desai, Richard Freedman +1
Integrated task and motion planning has emerged as a challenging problem in sequential decision making, where a robot needs to compute high-level strategy and low-level motion plan…
A Unified Framework for Planning in Adversarial and Cooperative Environments
Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati
Users of AI systems may rely upon them to produce plans for achieving desired objectives. Such AI systems should be able to compute obfuscated plans whose execution in adversarial…