Solving strong controllability of temporal problems with uncertainty using SMT Academic Article

http://dx.doi.org/10.1007/s10601-014-9167-5

Overview
Additional Document Info
View All

authors

Cimatti, Alessandro
Micheli, Andrea
Roveri, Marco

publication date

January 1, 2015

published in

Constraints : an international journal Journal