Statistical Model Checking for Networks of Priced Timed Automata

Keyphrases

• Statistical Model Checking 100%
• Weighted CTL 66%
• Bounded Property 33%
• Probabilistic Guarantee 33%
• Property Model 33%
• Non-deterministic Semantics 33%
• Classical Statistical 33%
• Tool Implementation 33%
• Checking Algorithm 33%
• Confidence-based 33%

Computer Science

• Timed Automaton 100%
• Model Checking 100%
• Statistical Model 100%
• Model Checking Problem 20%
• Model Checking Algorithm 20%
• Tool Implementation 20%
• Performance Compare 20%
• hard real-time 20%
• Case Study 20%