scientific article; zbMATH DE number 5593264
From MaRDI portal
Publication:5192925
zbMath1191.68648MaRDI QIDQ5192925
Nils Bulling, Wojciech Jamroga
Publication date: 10 August 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Specification and Verification of Multi-Agent Systems ⋮ Formal modelling and verification of probabilistic resource bounded agents ⋮ Where logic and agents meet ⋮ Automatic verification of competitive stochastic systems ⋮ Stochastic game logic ⋮ Natural strategic ability ⋮ Multi-valued Verification of Strategic Ability
This page was built for publication:
