Specifying User Preferences Using Weighted Signal Temporal Logic.
Noushin MehdipourCristian Ioan VasileCalin BeltaPublished in: IEEE Control. Syst. Lett. (2021)
Keyphrases
- user preferences
- temporal logic
- model checking
- user behavior
- modal logic
- satisfiability problem
- collaborative filtering
- concurrent systems
- recommender systems
- user profiles
- recommendation systems
- user behaviour
- computation tree logic
- user feedback
- verification method
- mazurkiewicz traces
- reactive systems
- temporal knowledge
- user interests
- user specific
- belief revision
- product recommendation
- formal specification
- symbolic model checking
- bounded model checking
- domain specific
- decision making