C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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