Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 20
67,31 €
Model Checking-Based Analysis of Multiagent Systems. - Towards Formal Specification and Verification in Cyberspace. - Verification within the KARO Agent Theory. - Synthesizing Agents Initially. - On Formal Modeling of Agent Computations.
Jetzt bei Ebay: