Provably-Correct Safety Protocol for Cooperative Platooning.
Sebastian MairMatthias AlthoffPublished in: CoRR (2023)
Keyphrases
- provably correct
- cooperative
- negotiation protocol
- formal methods
- situation calculus
- lightweight
- multi agent systems
- multi agent
- error estimates
- authentication protocol
- interval arithmetic
- cryptographic protocols
- network protocols
- communication protocol
- formal analysis
- security protocols
- knowledge based systems
- knowledge acquisition
- software engineering
- case study