Pages that link to "Item:Q2248068"

The following pages link to Automatic verification of competitive stochastic systems (Q2248068):

Displayed 8 items.

• A computationally grounded, weighted doxastic logic (Q310087) ‎ (← links)
• Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games (Q520343) ‎ (← links)
• Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) ‎ (← links)
• Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment (Q1666714) ‎ (← links)
• A uniformization-based algorithm for continuous-time stochastic games model checking (Q1757155) ‎ (← links)
• Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) ‎ (← links)
• Model Checking Probabilistic Systems (Q3176386) ‎ (← links)
• Model Checking Exact Cost for Attack Scenarios (Q3304816) ‎ (← links)