Alessandro Cimatti, Andrea Micheli, Marco Roveri. An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. Artificial Intelligence, 224:1-27, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.