Formalize pRTA from "Critical Instant for Probabilistic Timing Guarantees: Refuted and Revisited"

Sergey Bozhkorequested to merge
pRTA into main

Please review this MR commit-by-commit.

Merge request reports