PANDA: Simultaneous Predicate Abstraction and Concrete Execution.

Jakub Daniel Pavel Parízek

Published in: Haifa Verification Conference (2015)

Keyphrases

high level
data sets
reinforced concrete
learning algorithm
clustering algorithm
case study
search algorithm
data flow
plan execution
plan generation
execution model
execution environment