Login / Signup
Super-Solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic.
Cristian Molinaro
Amy Sliva
V. S. Subrahmanian
Published in:
ACM Trans. Comput. Log. (2014)
Keyphrases
</>
temporal logic
optimal solution
search algorithm