NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Proceedings 3rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS-III)These preceedings contain 18 papers and 4 poster presentation, covering topics such as: multi-agent systems, agent-based control, formalism, norms, as well as physical and biological models of agent-based systems. Some applications presented in the proceedings include systems analysis, software engineering, computer networks and robot control.
Document ID
20050137691
Acquisition Source
Goddard Space Flight Center
Document Type
Conference Proceedings
Authors
Hinchey, Michael (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Rash, James (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Truszkowski, Walt (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Rouff, Christopher (Science Applications International Corp. United States)
Date Acquired
September 7, 2013
Publication Date
October 1, 2004
Publication Information
Publisher: Springer-Verlag G.m.b.H. and Co. K.G.
Subject Category
Cybernetics, Artificial Intelligence And Robotics
Meeting Information
Meeting: 3rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems
Location: Greenbelt, MD
Country: United States
Start Date: April 26, 2004
End Date: April 27, 2004
Sponsors: Institute of Electrical and Electronics Engineers, NASA Goddard Space Flight Center
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

IDRelationTitle20050137709WorkTowards Symbolic Model Checking for Multi-Agent Systems via OBDDs20050137711WorkF-OWL: An Inference Engine for Semantic Web20050137712WorkModel-Drive Architecture for Agent-Based Systems20050137699WorkApoptosis and Self-Destruct: A Contribution to Autonomic Agents?20050137696WorkMassive Multi-Agent Systems Control20050137697WorkFuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP)20050137702WorkFrom Abstract to Concrete Norms in Agent Institutions20050137713WorkPetri Nets as Modeling Tool for Emergent Agents20050137693WorkUsing Ontologies to Formalize Services Specifications in Multi-Agent Systems20050137698WorkInteraction and Communication of Agents in Networks and Language Complexity Estimates20050137695WorkAgent-Based Chemical Plume Tracing Using Fluid Dynamics20050137704WorkFormalism Challenges of the Cougaar Model Driven Architecture20050137707WorkAn Approach to V&V of Embedded Adaptive Systems20050137706WorkTowards Time Automata and Multi-Agent Systems20050137708WorkVerifying Multi-Agent Systems via Unbounded Model Checking20050137703WorkMeeting the Deadline: Why, When and How20050137692WorkTwo Formal Gas Models For Multi-Agent Sweeping and Obstacle Avoidance20050137710WorkFormal Consistency Verification of Deliberative Agents with Respect to Communication Protocols20050137705WorkFacilitating the Specification Capture and Transformation Process in the Development of Multi-Agent Systems20050137701WorkEcology Based Decentralized Agent Management System
No Preview Available