scientific article; zbMATH DE number 1759732
From MaRDI portal
Publication:4536747
Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Artificial intelligence (68T99)
Recommendations
Cited in
(19)- Modeling agent organizations
- Specification and verification of a dynamic reconfiguration protocol for agent-based applications
- FSP and FLTL framework for specification and verification of middle-agents
- The cognitive agents specification language and verification environment
- Assurance of agent systems: what role should formal verification play?
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
- Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework
- Tableau methods for formal verification of multi-agent distributed systems
- scientific article; zbMATH DE number 1949606 (Why is no real title available?)
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
- scientific article; zbMATH DE number 1931645 (Why is no real title available?)
- scientific article; zbMATH DE number 2084804 (Why is no real title available?)
- scientific article; zbMATH DE number 2087354 (Why is no real title available?)
- scientific article; zbMATH DE number 1396181 (Why is no real title available?)
- Our Quest for the Holy Grail of Agent Verification
- Distributed Computing - IWDC 2004
- A formal method to model early requirement of multi-agent system
- Computational Science – ICCS 2005
- Multi-agent systems specification and certification: a situation and state calculus approach
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)
