Solving strong controllability of temporal problems with uncertainty using SMT.

Alessandro Cimatti Andrea Micheli Marco Roveri

Published in: Constraints An Int. J. (2015)

Keyphrases

partial observability
solving problems
solving complex
combinatorial optimization
problems involving
sequential decision making
temporal data
exact solution
search heuristics
np complete problems
simple temporal