24 results on '"Qu, Hongyang"'
Search Results
2. ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks
3. A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks
4. Testing, Verification and Improvements of Timeliness in ROS Processes
5. Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming
6. Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints
7. Incremental Runtime Verification of Probabilistic Systems
8. Automatic Data-Abstraction in Model Checking Multi-Agent Systems
9. Quantitative Multi-objective Verification for Probabilistic Systems
10. Dependability Analysis and Verification for Connected Systems
11. Assume-Guarantee Verification for Probabilistic Systems
12. A Data Symmetry Reduction Technique for Temporal-epistemic Logic
13. MCMAS: A Model Checker for the Verification of Multi-Agent Systems
14. Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
15. Test Case Generation for Ultimately Periodic Paths
16. Verifying Temporal and Epistemic Properties of Web Service Compositions
17. Stronger Reduction Criteria for Local First Search
18. The Implementation of Mazurkiewicz Traces in POEM
19. Grey-Box Checking
20. Adding Invariants to Event Zone Automata
21. Time Unbalanced Partial Order
22. Calculating Probabilities of Real-Time Test Cases
23. Generating Path Conditions for Timed Systems
24. Automatic Verification of Annotated Code
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.