Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions.
Henri HansenShang-Wei LinYang LiuTruong Khanh NguyenJun SunPublished in: CAV (2014)
Keyphrases
- model checking
- partial order reduction
- timed automata
- temporal logic
- reachability analysis
- social networks
- online social networks
- social network analysis
- high level
- social networking
- power law
- modal logic
- machine learning
- cohesive subgroups
- supervised learning
- natural language
- image sequences
- artificial intelligence