Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: Performance analysis of stochastic behavior trees
Extending the JADE agent behaviour model with JBehaviourTrees Framework
Monte Carlo tree search in continuous action spaces with execution uncertainty
Classification of Monte Carlo tree search variants
Probably approximately correct learning in stochastic games with temporal logic specifications
Computational stochastic control: basic foundations, complexity and techniques
Lean Reachability Tree for Unbounded Petri Nets
MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems
Model-based synthesis of fault trees from Matlab-Simulink models
Scenario trees and policy selection for multistage stochastic programming using machine learning
Evolutionary Behavior Tree Approaches for Navigating Platform Games
Probabilistic Verification of Discrete Event Systems using Acceptance Sampling
A Survey of Monte Carlo Tree Search Methods
Formalization and Verification of Event-driven Process Chains
A storm is Coming: A Modern Probabilistic Model Checker
Stochastic Analysis and Control of Real-Time Systems with Random Time Delays
PRISM-games: A Model Checker for Stochastic Multi-Player Games
Stochastic Dynamic Programming with Factored Representations
IDENTIFICATION OF DISCRETE EVENT SYSTEMS - Implementation Issues and Model Completeness
reliable systems : fault tree analysis via markov reward automata .
Sequential Composition of Dynamically Dexterous Robot Behaviors
The CAPIO 2017 Conversational Speech Recognition System
Bundle recommendation in ecommerce
Genetic Programming: On the Programming of Computers by Means of Natural Selection
The reliability of the segmental assessment of trunk control (SATCO) in children with cerebral palsy
Introducing the Webb spam corpus: Using email spam to identify Web spam automatically