Solving Temporal Problems Using SMT: Weak Controllability.

Alessandro Cimatti, Andrea Micheli, Marco Roveri

Browse the full AAAI paper archive.