Search

Your search keyword '"Qu, Hongyang"' showing total 24 results

Search Constraints

Start Over You searched for: Author "Qu, Hongyang" Remove constraint Author: "Qu, Hongyang" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
24 results on '"Qu, Hongyang"'

Search Results

1. On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters

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

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