Specifying User Preferences using Weighted Signal Temporal Logic.
Noushin MehdipourCristian Ioan VasileCalin BeltaPublished 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