Logics and Model Checking for Graph Equivalences in Computational Biology Submitted by Anonimo (not verified) on Mon, 11/04/2022 - 12:48
BeGood: Designing Behavioral Rules for Good Outcomes in Multi-Agent Systems Submitted by Anonimo (not verified) on Mon, 11/04/2022 - 12:48