Optimal Symbolic Controllers Determinization for BDD storage.

Ivan S. Zapreev Cees Verdier Manuel Mazo Jr.

Published in: CoRR (2018)

Keyphrases

dynamic programming
control system
worst case
optimal design
binary decision diagrams
high level
file system
boolean functions
database
reinforcement learning
optimal solution
data structure
data storage
symbolic data