Formal analysis of pilot error with agent safety logic.
Seth AhrenbachAlwyn GoodloePublished in: Innov. Syst. Softw. Eng. (2018)
Keyphrases
- formal analysis
- agent model
- reasoning engine
- error rate
- multi agent
- formal methods
- dynamic logic
- intelligent agents
- multiagent systems
- autonomous agents
- ban logic
- modal logic
- mobile agents
- decision making
- multi agent systems
- software agents
- dynamic environments
- agent systems
- databases
- agent architecture
- multiple agents
- access control
- reinforcement learning
- artificial intelligence