Delta-Decision Procedures for Exists-Forall Problems over the Reals.

Soonho Kong Armando Solar-Lezama Sicun Gao

Published in: CAV (2) (2018)

Keyphrases

decision procedures
reasoning problems
theorem proving
automated reasoning
modal logic
artificial intelligence
bayesian networks
programming language
graphical models
cellular automata