Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications.
Maico Hendrikus Wilhelmus EngelaarZengjie ZhangEleftherios E. VlahakisMircea LazarSofie HaesaertPublished in: CoRR (2024)
Keyphrases
- multi agent systems
- real time
- coalition formation
- autonomous agents
- multi agent
- decision making
- learning automata
- software agents
- single agent
- high risk
- bounded model checking
- contract net protocol
- risk measures
- real time systems
- low cost
- cooperative
- game theory
- control system
- formal specification
- stochastic model
- risk analysis
- monte carlo
- specification language
- multiagent systems
- distributed problem solving
- risk averse
- quality of service
- intelligent agents
- computational logic
- delay insensitive
- vision system