Login / Signup

Fuzzy temporal logic, flexible methods for interaction analysis.

Joris IJsselmuiden
Published in: J. Ambient Intell. Smart Environ. (2015)
Keyphrases
  • temporal logic
  • model checking
  • modal logic
  • artificial intelligence
  • user interface
  • human interaction