scientific article; zbMATH DE number 1759732
From MaRDI portal
Publication:4536747
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)
Recommendations
Cited in
(18)- scientific article; zbMATH DE number 1396181 (Why is no real title available?)
- Computational Science – ICCS 2005
- The cognitive agents specification language and verification environment
- Assurance of agent systems: what role should formal verification play?
- Modeling agent organizations
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
- scientific article; zbMATH DE number 2087354 (Why is no real title available?)
- Our Quest for the Holy Grail of Agent Verification
- FSP and FLTL framework for specification and verification of middle-agents
- scientific article; zbMATH DE number 2084804 (Why is no real title available?)
- A formal method to model early requirement of multi-agent system
- Distributed Computing - IWDC 2004
- Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework
- Specification and verification of a dynamic reconfiguration protocol for agent-based applications
- scientific article; zbMATH DE number 1949606 (Why is no real title available?)
- scientific article; zbMATH DE number 1931645 (Why is no real title available?)
- 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)
