Login / Signup
Making Metric Temporal Logic Rational.
Shankara Narayanan Krishna
Khushraj Madnani
Paritosh K. Pandya
Published in:
CoRR (2017)
Keyphrases
</>
metric temporal logic
decision making
special case
cost function
state space