Optimal Symbolic Controllers Determinization for BDD storage.

Ivan S. Zapreev Cees Verdier Manuel Mazo Jr.

Published in: ADHS (2018)

Keyphrases

binary decision diagrams
control system
artificial intelligence
dynamic programming
data mining
optimal strategy
worst case
optimal solution
high level
closed form
boolean functions
storage space
storage requirements
information retrieval
optimal design
real time
neural learning