755 followers
RT @eve_mas_: EVE: A tool for temporal equilibrium analysis https://t.co/HQjtoLdqrD via @oxforduni_repo
RT @eve_mas_: EVE: A tool for temporal equilibrium analysis https://t.co/HQjtoLdqrD via @oxforduni_repo
RT @eve_mas_: EVE: A tool for temporal equilibrium analysis https://t.co/HQjtoLdqrD via @oxforduni_repo
EVE: A tool for temporal equilibrium analysis https://t.co/HQjtoLdqrD via @oxforduni_repo
"Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. (arXiv:1805.10749v3 [https://t.co/R28sArFAsG] UPDATED)" #arXiv https://t.co/e9a8nELKDn