scientific article; zbMATH DE number 1759732
From MaRDI portal
Publication:4536747
zbMATH Open0988.68564MaRDI QIDQ4536747FDOQ4536747
Authors: Wojciech Penczek, Tomasz Nowak, Stanislaw Ambroszkiewicz 
Publication date: 22 July 2002
Title of this publication is not available (Why is that?)
Recommendations
Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (18)
- Title not available (Why is that?)
- Distributed Computing - IWDC 2004
- Specification and verification of a dynamic reconfiguration protocol for agent-based applications
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
- Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework
- Our Quest for the Holy Grail of Agent Verification
- Multi-agent systems specification and certification: a situation and state calculus approach
- The cognitive agents specification language and verification environment
- Computational Science – ICCS 2005
- Assurance of agent systems: what role should formal verification play?
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
- Modeling agent organizations
- Title not available (Why is that?)
- Title not available (Why is that?)
- FSP and FLTL framework for specification and verification of middle-agents
- Title not available (Why is that?)
- Title not available (Why is that?)
- A formal method to model early requirement of multi-agent system
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536747)
