Specification and Verification of Multi-Agent Applications using Temporal Z.
Amira RegayegAhmed Hadj KacemMohamed JmaielPublished in: IAT (2004)
Keyphrases
- multi agent
- formal verification
- temporal ordering
- model checking
- asynchronous circuits
- formal methods
- linear temporal logic
- reinforcement learning
- formal specification
- cooperative
- spatio temporal
- temporal constraints
- protocol specification
- temporal data
- spatial and temporal
- temporal databases
- temporal reasoning
- information systems
- high level
- temporal evolution
- verification method
- multi agent systems
- temporal behavior
- temporal consistency
- databases
- false acceptance rate
- heterogeneous agents
- temporal structure
- user defined
- specification language
- temporal relations
- temporal information
- temporal logic