Specifying User Preferences using Weighted Signal Temporal Logic.

Noushin Mehdipour Cristian Ioan Vasile Calin Belta

Published in: ACC (2021)

Keyphrases

user preferences
temporal logic
model checking
user behavior
modal logic
collaborative filtering

satisfiability problem
recommender systems
concurrent systems
verification method
linear temporal logic
transition systems

user profiles
preference model
mazurkiewicz traces
temporal knowledge
user specific
user feedback

bounded model checking
computation tree logic
formal specification language
user behaviour
recommendation systems
belief revision