From Effects to Causes-Reference-Cited by-同舟云学术

From Effects to Causes

Published:2019-05-29 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
language:
Short-container-title:

Author:

Andelfinger Philipp¹,Ivanchev Jordan²,Eckhoff David³,Cai Wentong⁴,Knoll Alois⁵

Affiliation:

1. TUMCREATE Ltd and Nanyang Technological University, Singapore, Singapore

2. TUMCREATE Ltd, Singapore, Singapore

3. TUMCREATE Ltd & Technische Universität München, Singapore, Singapore

4. Nanyang Technological University, Singapore, Singapore

5. Technische Universität München & Nanyang Technological University, Munich, Germany

Funder

TUMCREATE/National Research Foundation Singapore

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3316480.3322891

Reference47 articles.

1. Harold Abelson and Gerald J. Sussman. 1996. Structure and Interpretation of Computer Programs Second Edition. MIT Press. Harold Abelson and Gerald J. Sussman. 1996. Structure and Interpretation of Computer Programs Second Edition. MIT Press.

2. Béatrice Bérard Michel Bidoit Alain Finkel Francc ois Laroussinie Antoine Petit Laure Petrucci and Philippe Schnoebelen. 2013. Systems and Software Verification: Model-Checking Techniques and Tools. Springer Science & Business Media. Béatrice Bérard Michel Bidoit Alain Finkel Francc ois Laroussinie Antoine Petit Laure Petrucci and Philippe Schnoebelen. 2013. Systems and Software Verification: Model-Checking Techniques and Tools. Springer Science & Business Media.

3. Verifying Multi-agent Programs by Model Checking

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Differentiable Agent-Based Simulation;ACM Transactions on Modeling and Computer Simulation;2022-10-31

2. Differentiable Agent-Based Simulation for Gradient-Guided Simulation-Based Optimization;Proceedings of the 2021 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation;2021-05-21

3. Pedal to the Bare Metal;Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation;2020-06-06