MoGym: Using Formal Models for Training and Verifying Decision-making Agents.
Timo P. GrosHolger HermannsJörg HoffmannMichaela KlauckMaximilian A. KöhlVerena WolfPublished in: CAV (2) (2022)
Keyphrases
- formal models
- decision making
- bounded rationality
- rule based systems
- multi agent systems
- multi agent
- formal model
- decision makers
- multiple agents
- process model
- decision process
- decision support system
- cooperative
- multiagent systems
- software agents
- training set
- artificial agents
- making decisions
- intelligent agents
- information processing
- dynamic environments
- fuzzy logic
- pattern recognition
- mobile agents
- model checking
- decision support
- adjustable autonomy
- agent architecture
- reasoning and decision making
- resource allocation
- multi criteria
- trust model
- training process
- incomplete information
- autonomous agents
- neural network
- supply chain
- artificial intelligence