Solving strong controllability of temporal problems with uncertainty using SMT
Cimatti, Alessandro, Micheli, Andrea, Roveri, MarcoVolume:
20
Language:
english
Journal:
Constraints
DOI:
10.1007/s10601-014-9167-5
Date:
January, 2015
File:
PDF, 2.56 MB
english, 2015