• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Super-Solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic.

Cristian MolinaroAmy SlivaV. S. Subrahmanian
Published in: ACM Trans. Comput. Log. (2014)
Keyphrases
  • temporal logic
  • optimal solution
  • search algorithm