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

Artificial Intelligence 224 (C):1-27 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Problems in formal temporal reasoning.Yoav Shoham & Drew McDermott - 1988 - Artificial Intelligence 36 (1):49-61.

Analytics

Added to PP
2020-12-22

Downloads
8 (#517,646)

6 months
10 (#1,198,792)

Historical graph of downloads
How can I increase my downloads?