Towards Formal Methods for Agent-Based Systems

doi 10.14236/ewic/fa1996.8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

BCS Learning & Development

Related search

Towards Data-Driven Simulation Modeling for Mobile Agent-Based Systems

ACM Transactions on Modeling and Computer Simulation
ModelingComputer Science ApplicationsSimulation
2019English

Formal Methods for Eternal Networked Software Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Formal Methods in Systems Engineering

1993English

Towards a Context Definition for Multi-Agent Systems

English

A Formal Framework for Reasoning About Opportunistic Propensity in Multi-Agent Systems

Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
2019English

Towards Agent-Based Coalition Formation for Service Composition

2006English

Towards Safe Coordination in Multi-Agent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Exploring Agent-Based Methods for the Analysis of Payment Systems: A Crisis Model for StarLogo TNG

SSRN Electronic Journal
2008English

Formal Modeling of Cyber-Physical Systems: Lessons Learn From Refinement and Proof Based Methods

Lecture Notes in Networks and Systems
ControlComputer NetworksSignal ProcessingSystems EngineeringCommunications
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy