Conference
7
Publications
63
Citations
Top concepts
BusinessEngineeringGame TheoryDecision TheoryComputer ScienceMechanism DesignDiscrete MathematicsCombinatorial Optimization
Publications per year
2003–2011
7
7
Discrete-time rewards model-checked (to appear)
Suzana Andova, Holger Hermanns, Joost-Pieter Katoen · 2003 · 45 citations
1–1 of 7