Login / Signup

Zeno, Hercules, and the Hydra: Safety Metric Temporal Logic is Ackermann-Complete.

Ranko LazicJoël OuaknineJames Worrell
Published in: ACM Trans. Comput. Log. (2016)
Keyphrases
  • metric temporal logic
  • real time
  • databases
  • artificial intelligence
  • search engine
  • similarity measure
  • expert systems