Login / Signup
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty.
Alessandro Cimatti
Andrea Micheli
Marco Roveri
Published in:
Artif. Intell. (2015)
Keyphrases
</>
partial observability
database
information systems
knowledge base
case study
reinforcement learning
context aware
problems involving