An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty Academic Article

http://dx.doi.org/10.1016/j.artint.2015.03.002

Overview
Additional Document Info
View All

authors

Cimatti, Alessandro
Micheli, Andrea
Roveri, Marco

publication date

January 1, 2015

published in

Artificial intelligence Journal