Login / Signup
Using Linear Temporal Logic to Model and Solve Planning Problems.
Serenella Cerrito
Marta Cialdea Mayer
Published in:
AIMSA (1998)
Keyphrases
</>
planning problems
probability distribution
state space