Pages that link to "Item:Q2852033"
From MaRDI portal
The following pages link to Automated game analysis via probabilistic model checking: a case study (Q2852033):
Displaying 9 items.
- A probabilistic model for the interaction of an agent with a network environment (Q269125) (← links)
- A procedure for analyzing hypergames (Q794944) (← links)
- Deeper model endgame analysis (Q817790) (← links)
- Automated verification of state sequence invariants in general game playing (Q1761287) (← links)
- Out of control: reducing probabilistic models by control-state elimination (Q2152665) (← links)
- Automatic verification of competitive stochastic systems (Q2248068) (← links)
- (Q3384159) (← links)
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems (Q3393382) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308404) (← links)