Skip to main navigation Skip to search Skip to main content

Model checking problems for infinite state stochastic games

  • Brozek, Vaclav (Principal Investigator)

Project Details

StatusFinished
Effective start/end date31/08/09 → 30/08/11

Funding

  • Other (Learned Society): £99,000.00