Vol-3584⫷ Vol-3585 ⫸Vol-3586
urn:nbn:de:0074-3585-0


Vol-3585/paper12_SPIRIT02⫷Vol-3585/paper13_SPIRIT03⫸Vol-3585/paper14_SPIRIT04
Davide CattaJean LeneutreVadim Malvone

Reasoning About Dynamic Game Models Using Obstruction Logic (short paper)