↓ Skip to main content
What is this page? Embed badge

Formal Approaches to Agent-Based Systems

Overview of attention for book
Cover of 'Formal Approaches to Agent-Based Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Ecology Based Decentralized Agent Management System
  3. Altmetric Badge
    Chapter 2 From Abstract to Concrete Norms in Agent Institutions
  4. Altmetric Badge
    Chapter 3 Meeting the Deadline: Why, When and How
  5. Altmetric Badge
    Chapter 4 Multi-agent Systems Reliability, Fuzziness, and Deterrence
  6. Altmetric Badge
    Chapter 5 Formalism Challenges of the Cougaar Model Driven Architecture
  7. Altmetric Badge
    Chapter 6 Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems
  8. Altmetric Badge
    Chapter 7 Using Ontologies to Formalize Services Specifications in Multi-agent Systems
  9. Altmetric Badge
    Chapter 8 Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance
  10. Altmetric Badge
    Chapter 9 A Formal Analysis of Potential Energy in a Multi-agent System
  11. Altmetric Badge
    Chapter 10 Agent-Based Chemical Plume Tracing Using Fluid Dynamics
  12. Altmetric Badge
    Chapter 11 Towards Timed Automata and Multi-agent Systems
  13. Altmetric Badge
    Chapter 12 An Approach to V&V of Embedded Adaptive Systems
  14. Altmetric Badge
    Chapter 13 Verifying Multi-agent Systems via Unbounded Model Checking
  15. Altmetric Badge
    Chapter 14 Towards Symbolic Model Checking for Multi-agent Systems via obdd ’s
  16. Altmetric Badge
    Chapter 15 Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
  17. Altmetric Badge
    Chapter 16 F-OWL: An Inference Engine for Semantic Web
  18. Altmetric Badge
    Chapter 17 Model-Driven Architecture for Agent-Based Systems
  19. Altmetric Badge
    Chapter 18 Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?
  20. Altmetric Badge
    Chapter 19 Petri Nets as Modeling Tool for Emergent Agents
  21. Altmetric Badge
    Chapter 20 Massive Multi-agent systems control
  22. Altmetric Badge
    Chapter 21 Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP)
  23. Altmetric Badge
    Chapter 22 Interaction and Communication of Agents in Networks and Language Complexity Estimates
Attention for Chapter 14: Towards Symbolic Model Checking for Multi-agent Systems via obdd ’s
Altmetric Badge

Readers on

mendeley
3 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Towards Symbolic Model Checking for Multi-agent Systems via obdd ’s
Chapter number 14
Book title
Formal Approaches to Agent-Based Systems
Published by
Springer, Berlin, Heidelberg, April 2004
DOI 10.1007/978-3-540-30960-4_14
Book ISBNs
978-3-54-024422-6, 978-3-54-030960-4
Authors

Franco Raimondi, Alessio Lomuscio

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Portugal 1 33%
Unknown 2 67%

Demographic breakdown

Readers by professional status Count As %
Professor 1 33%
Student > Ph. D. Student 1 33%
Student > Master 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Engineering 1 33%

This page is provided by Altmetric.