Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents.
Wiktor B. DaszczukPublished in: Sensors (2021)
Keyphrases
- asynchronous circuits
- intelligent agents
- agent systems
- decision making
- cooperative
- agent based systems
- model checking
- software agents
- multi agent
- multiple autonomous
- autonomous agents
- multiagent systems
- complex systems
- multi agent systems
- retrieval systems
- agent architecture
- multiple agents
- reasoning process
- knowledge based systems
- distributed search
- expert systems
- heterogeneous agents
- search algorithm
- automated verification