52 results on '"Hongyang Qu"'
Search Results
2. On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters.
3. Computationally Grounded Quantitative Trust with Time.
4. ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks.
5. A stochastically verifiable decision making framework for autonomous ground vehicles.
6. Computational Framework for Verifiable Decisions of Self-Driving Vehicles.
7. Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms.
8. A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks.
9. What Is My Next Job: Predicting the Company Size and Position in Career Changes.
10. Testing, Verification and Improvements of Timeliness in ROS Processes.
11. A stochastically verifiable autonomous control architecture with reasoning.
12. Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming.
13. Improving BDD-based Attractor Detection for Synchronous Boolean Networks.
14. Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints.
15. Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols.
16. On efficient consistency checks by robots.
17. On Incremental Quantitative Verification for Probabilistic Systems.
18. Model Repair for Markov Decision Processes.
19. Incremental Runtime Verification of Probabilistic Systems.
20. Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.
21. Incremental quantitative verification for Markov decision processes.
22. On the verification of social commitments and time.
23. Quantitative Multi-objective Verification for Probabilistic Systems.
24. Parallel Model Checking for Temporal Epistemic Logic.
25. Dependability Analysis and Verification for Connected Systems.
26. Automatic Data-Abstraction in Model Checking Multi-Agent Systems.
27. Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems.
28. Assume-Guarantee Verification for Probabilistic Systems.
29. MCMAS: A Model Checker for the Verification of Multi-Agent Systems.
30. A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.
31. Optimizing Probabilities of Real-Time Test Case Execution.
32. A Data Symmetry Reduction Technique for Temporal-epistemic Logic.
33. Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.
34. Towards Verifying Contract Regulated Service Composition.
35. Towards verifying compliance in agent-based web service compositions.
36. Test Case Generation for Ultimately Periodic Paths.
37. Verifying Temporal and Epistemic Properties of Web Service Compositions.
38. Stronger Reduction Criteria for Local First Search.
39. Grey-Box Checking.
40. Adding Invariants to Event Zone Automata.
41. The Implementation of Mazurkiewicz Traces in POEM.
42. Generating Path Conditions for Timed Systems.
43. Calculating Probabilities of Real-Time Test Cases.
44. Time Unbalanced Partial Order.
45. Automatic Generation of Path Conditions for Timed Systems.
46. Automatic Verification of Annotated Code.
47. Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms.
48. Representing and reasoning about communicative conditional commitments.
49. Reo2MC: a tool chain for performance analysis of coordination models.
50. Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.