Author Info
Name
Affiliation
Papers
DANIEL BRYCE
SRI International, Artificial Intelligence Center, 333 Ravenswood Ave, Menlo Park, CA 94025, USA
20
Collaborators
Citations 
PageRank 
21
173
11.83
Referers 
Referees 
References 
296
435
374
Search Limit
100435
Title
Citations
PageRank
Year
Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems.00.342016
Maintaining Evolving Domain Models.50.562016
An Architecture for Hybrid Planning and Execution.00.342016
A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control.20.352016
A Happening-Based Encoding for Nonlinear PDDL+ Planning.10.362016
Smt-Based Nonlinear Pddl Plus Planning160.772015
Explaining Verifier Traces with Explanation Based Learning00.342014
Planning and Acting in Incomplete Domains.100.602011
Planning graph heuristics for belief space search702.262011
Interactive Bootstrapped Learning for End-User Programming.10.412011
State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning20.382011
Planning interventions in biological networks50.422010
MABLE: a framework for learning from natural instruction20.392009
Sequential Monte Carlo in reachability heuristics for probabilistic planning20.482008
A Tutorial on Planning Graph Based Reachability Heuristics110.762007
Planning for gene regulatory network intervention50.592007
Sequential Monte Carlo in Probabilistic Planning Reachability Heuristics100.622006
State agnostic planning graphs and the application to belief-space planning80.532005
Cost Sensitive Reachability Heuristics for Handling State Uncertainty30.382005
Heuristic Guidance Measures for Conformant Planning200.942004