Follow
Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models https://arxiv.org/abs/2411.00025 #cs.LO #cs.GT
Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models https://arxiv.org/abs/2411.00025 #cs.LO #cs.GT