Login / Signup
On Relaxing Metric Information in Linear Temporal Logic.
Carlo A. Furia
Paola Spoletini
Published in:
TIME (2011)
Keyphrases
</>
markov decision processes
information content