scientific article
From MaRDI portal
Publication:2852033
zbMath1273.68220MaRDI QIDQ2852033
No author found.
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000739
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items (3)
Out of control: reducing probabilistic models by control-state elimination ⋮ Automatic verification of competitive stochastic systems ⋮ A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
Uses Software
This page was built for publication:
