The following pages link to Siddharth Srivastava (Q359970):
Displayed 5 items.
- Applicability conditions for plans with loops: computability results and algorithms (Q359973) (← links)
- A new representation and associated algorithms for generalized planning (Q543617) (← links)
- Using state abstractions to compute personalized contrastive explanations for AI agent behavior (Q2060687) (← links)
- Simulating reachability using first-order logic with applications to verification of linked data structures (Q3636811) (← links)
- (Q4447441) (← links)