Learning Assumptions for CompositionalVerification of Timed Systems.
Shang-Wei LinÉtienne AndréYang LiuJun SunJin Song DongPublished in: IEEE Trans. Software Eng. (2014)
Keyphrases
- learning systems
- learning algorithm
- management system
- learning tasks
- knowledge acquisition
- incremental learning
- learning process
- online learning
- database
- learning analytics
- website
- reinforcement learning
- distributed systems
- petri net
- discrete event
- learning scheme
- unsupervised learning
- intelligent systems
- multi agent
- social networks
- data mining
- databases
- data sets