Provably Correct Safety Protocol for Cooperative Platooning.
Sebastian MairMatthias AlthoffPublished in: IV (2024)
Keyphrases
- provably correct
- cooperative
- negotiation protocol
- situation calculus
- formal methods
- lightweight
- multi agent systems
- formal analysis
- error estimates
- game theory
- multi agent
- distributed problem solving
- network protocols
- tcp ip
- cryptographic protocols
- communication protocol
- authentication protocol
- distributed databases