Misbehavior Verification on Cooperative Intelligent Transport System.
Emilien BourdyMarwane AyaidaHacène FouchalPublished in: I4CS (2022)
Keyphrases
- cooperative
- data sets
- intelligent user interfaces
- intelligent systems
- game theory
- formal verification
- multi agent systems
- decision support
- model checking
- distributed problem solving
- cooperating agents
- multi agent
- learning environment
- decision making
- evolutionary algorithm
- genetic algorithm
- signature verification
- asynchronous circuits
- real time