Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract).
Alexander Moshe RabinovichPublished in: ICALP (1992)
Keyphrases
- extended abstract
- concurrent systems
- multi agent systems
- distributed systems
- multi agent
- temporal logic
- process algebra
- formal specification
- intelligent agents
- model checking
- multiple agents
- multiagent systems
- autonomous agents
- mobile agents
- petri net
- software agents
- cooperative
- artificial agents
- transition systems
- agent architecture
- agent technology
- dynamic environments
- learning agents
- decision making
- agent systems
- finite number
- decision theoretic
- agent interactions
- interacting agents
- resource allocation
- social welfare
- game theoretic
- relational databases
- incomplete information
- connected components
- agent receives