Visualizing Self-Adaptive Plan Simulations Given Embedded Verification Concerns.

Sharmin Jahan Allen Marshall Rose F. Gamble

Published in: FAS*W@SASO/ICCAC (2017)

Keyphrases

plan recognition
model checking
embedded systems
plan generation
machine learning
signature verification
data sets
multiscale
reinforcement learning
search algorithm
software engineering
simulation study
simulation environment
planning systems
person identification
verification method