Robuta

https://arxiv.org/abs/2107.02509 [2107.02509] A Temporal Logic for Strategic Hyperproperties Abstract page for arXiv paper 2107.02509: A Temporal Logic for Strategic Hyperproperties temporal logic 2107 02509 strategic