On using priced timed automata to achieve optimal scheduling.
Jacob Illum RasmussenKim Guldstrand LarsenK. SubramaniPublished in: Formal Methods Syst. Des. (2006)
Keyphrases
- optimal scheduling
- timed automata
- model checking
- scheduling problem
- scheduling algorithm
- reachability analysis
- machine learning
- database
- pattern recognition
- first order logic
- management system
- data analysis
- video sequences
- reinforcement learning
- multimedia
- computer vision
- social networks
- artificial intelligence
- databases
- data sets