Understanding and Extending Incremental Determinization for 2QBF.

Markus N. Rabe Leander Tentrup Cameron Rasmussen Sanjit A. Seshia

Published in: CAV (2) (2018)

Keyphrases

real time
data driven
incremental learning
database
learning environment
deeper understanding
databases
neural network
decision making
bayesian networks
optimal solution
automated reasoning