Distributed plan reconfiguration via knowledge transfer in multi-agent systems under local LTL specifications.
Meng GuoDimos V. DimarogonasPublished in: ICRA (2014)
Keyphrases
- knowledge transfer
- multi agent systems
- bounded model checking
- holonic manufacturing systems
- multi agent
- agent technology
- cooperative
- knowledge sharing
- transfer learning
- temporal logic
- cross domain
- transition systems
- model checking
- distributed systems
- mutual adaptation
- formal verification
- distributed problem solving
- transfer knowledge
- machine learning
- text categorization
- nearest neighbor
- reinforcement learning
- information retrieval
- real world
- data sets