Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties
International Conference on Quantitative Evaluation of Systems（2017）
Key words
Model Checking,Testing-Effort Dependent Models,Probabilistic Systems,Automated Testing,Temporal Logic
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined