Login / Signup
Metric Temporal Logic with Counting.
Khushraj Madnani
Shankara Narayanan Krishna
Paritosh K. Pandya
Published in:
CoRR (2015)
Keyphrases
</>
metric temporal logic
expert systems
search space
database
databases
artificial intelligence
search algorithm
natural language
worst case