Login / Signup

A Branching Time Variant of CaRet.

Jens Oliver GutsfeldMarkus Müller-OlmBenedikt Nordhoff
Published in: SPIN (2018)
Keyphrases
  • temporal logic
  • temporal reasoning
  • epistemic logic
  • model checking
  • multi agent systems
  • computer vision
  • object recognition
  • mobile devices
  • domain knowledge
  • case based reasoning
  • spatial information
  • first order logic