An Interface for Programming Verifiable Autonomous Agents in ROS.
Rafael C. CardosoAngelo FerrandoLouise A. DennisMichael FisherPublished in: EUMAS/AT (2020)
Keyphrases
- autonomous agents
- dynamic environments
- multi agent systems
- multi agent
- programming language
- interface design
- incomplete information
- multiagent systems
- graphical interfaces
- resource bounded
- user interface
- open systems
- changing environment
- agent negotiation
- heterogeneous agents
- mental states
- distributed artificial intelligence
- distributed control
- intelligent behavior
- artificial intelligence
- complex environments
- computational systems
- learning agents
- software agents
- mobile robot
- decision making